Make skipping unimportant pages work again.1.4.7

Skript generating RE was putting too many \/ into it.
New release.

Fixes #115.

1 files changed, 1 insertions, 4 deletions

diff --git a/data/lib/skip-bug.js b/data/lib/skip-bug.js
index c909a3e..389eb54 100644
--- a/data/lib/skip-bug.js
+++ b/data/lib/skip-bug.js
@@ -3,15 +3,12 @@
 // "use strict";
 
 function reloadPage() {
-  var stemURL = 'https://HOSTNAME/show_bug.cgi?id=';
   var titleElems = document.getElementsByTagName('title');
   if (titleElems) {
     var REArr = new RegExp('[bB]ug\\s+([0-9]+)')
         .exec(titleElems[0].textContent);
-    var hostname = document.location.hostname;
     if (REArr) {
-      document.location = stemURL.replace('HOSTNAME', hostname)
-          + REArr[1];
+      document.location = '/show_bug.cgi?id=' + REArr[1];
     }
   }
 }