Issue 1287 - Use window.location instead document.location

include.preload.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2014 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 82 matching lines @@
 {
   // If URL is already absolute, don't mess with it
   if (!url || /^[\w\-]+:/i.test(url))
     return url;
 
   // Leading / means absolute path
   // Leading // means network path
   if (url[0] == '/')
   {
     if (url[1] == '/')
-      return document.location.protocol + url;
+      return location.protocol + url;
     else
-      return document.location.protocol + "//" + document.location.host + url;
+      return location.protocol + "//" + location.host + url;
   }
 
   // Remove filename and add relative URL to it
   var base = document.baseURI.match(/.+\//);
   if (!base)
     return document.baseURI + "/" + url;
   return base[0] + url;
 }
 
 function init(document)
@@ skipping 107 matching lines @@
   }, true);
 
   ext.backgroundPage.sendMessage({type: "get-selectors"}, setElemhideCSSRules);
 }
 
 if (document instanceof HTMLDocument)
 {
   checkExceptionKey();
   init(document);
 }