Issue 1287 - Use window.location instead document.location

safari/ext/content.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 17 matching lines @@
   var beforeLoadEvent = document.createEvent("Event");
   beforeLoadEvent.initEvent("beforeload");
 
   var isTopLevel = window == window.top;
   var isPrerendered = document.visibilityState == "prerender";
 
   var documentInfo = safari.self.tab.canLoad(
     beforeLoadEvent,
     {
       category: "loading",
-      url: document.location.href,
+      url: location.href,
       referrer: document.referrer,
       isTopLevel: isTopLevel,
       isPrerendered: isPrerendered
     }
   );
 
   if (isTopLevel && isPrerendered)
   {
     var onVisibilitychange = function()
     {
@@ skipping 379 matching lines @@
             messageProxy.handleResponse(event.message);
             break;
           case "proxyCallback":
             backgroundPageProxy.handleCallback(event.message);
             break;
         }
       }
     }
   });
 })();