Issue 3788 - Keep track of Safari tabs without canLoad

safari/ext/content.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2016 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";
 
   // Notify the background page that this frame is loading, generating ourselves
   // a random documentId while we're at it. That way the background page can
   // communicate with us reliably, despite limitations in Safari's extension
   // API.
-  var documentId = Math.random().toString();

[Sebastian Noack, 2016/03/18 19:32:51]

Nit: It's not important for the logic, but more an ascetic thing;
Math.random().toString() returns a string that always starts with "0." followed
by a couple random digits. So the first two digits are redundant, and could
easily be stripped:

  Math.random().toString().substr(2)

[kzar, 2016/03/18 19:53:38]

Done.

+  var documentId = Math.random().toString().substr(2);
   safari.self.tab.dispatchMessage("loading",  {
     url: window.location.href,
     referrer: document.referrer,
     isTopLevel: isTopLevel,
     isPrerendered: isPrerendered,
     documentId: documentId
   });
 
   if (isTopLevel && isPrerendered)
   {
@@ skipping 384 matching lines @@
   });
 
 
   /* Detecting extension reload/disable/uninstall (not supported on Safari) */
 
   ext.onExtensionUnloaded = {
     addListener: function() {},
     removeListener: function() {}
   };
 })();