| Index: lib/main.js | 
| =================================================================== | 
| --- a/lib/main.js | 
| +++ b/lib/main.js | 
| @@ -76,51 +76,3 @@ | 
| require("typedItCollector").onBrowserInitialized(window); | 
| } | 
| - | 
| -var URLFIXER = { | 
| - load : function () { | 
| - document.addEventListener("URLFixerNetErrorCorrection", URLFIXER.netErrorCorrection, false, true); | 
| - }, | 
| - | 
| - netErrorCorrection : function (evt) { | 
| - var button = evt.target; | 
| - var oldUrl = button.getAttribute("old"); | 
| - var newUrl = button.getAttribute("new"); | 
| - | 
| - if (newUrl.indexOf("http://") == -1 && newUrl.indexOf("https://") == -1) { | 
| - newUrl = oldUrl.split("//")[0] + "//" + newUrl; | 
| - } | 
| - | 
| - var rv = newUrl; | 
| - | 
| - var oldParts = oldUrl.split("://"); | 
| - var newParts = newUrl.split("://"); | 
| - | 
| - // Discard the protocol if they're the same. | 
| - if (oldParts[0] == newParts[0]) { | 
| - oldParts.shift(); | 
| - newParts.shift(); | 
| - oldUrl = "//" + oldParts.join("//"); | 
| - newUrl = "//" + newParts.join("//"); | 
| - } | 
| - | 
| - // Ignore www subdomain if both of them have it. | 
| - if (oldUrl.indexOf("//www.") != -1 && (oldUrl.indexOf("//www.") === newUrl.indexOf("//www."))) { | 
| - oldUrl = oldUrl.split("//www.")[1]; | 
| - newUrl = newUrl.split("//www.")[1]; | 
| - } | 
| - | 
| - // Ignore trailing slashes | 
| - if (oldUrl.charAt(oldUrl.length - 1) == "/" && newUrl.charAt(newUrl.length - 1) == "/") { | 
| - oldUrl = oldUrl.substr(0, oldUrl.length - 1); | 
| - newUrl = newUrl.substr(0, newUrl.length - 1); | 
| - } | 
| - | 
| - var corrections = URLFIXER.getJSONPref("custom_replace", {}); | 
| - corrections[oldUrl] = newUrl; | 
| - URLFIXER.setJSONPref("custom_replace", corrections); | 
| - | 
| - content.location.href = rv; | 
| - } | 
| -}; | 
| - |