Issue 1708 - Integrate first-run page changes in Chrome/Opera/Safari

ext/background.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
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
  * You should have received a copy of the GNU General Public License
  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>.
  */
 
 (function()
 {
   var nonEmptyPageMaps = {__proto__: null};
   var pageMapCounter = 0;
 
   var PageMap = ext.PageMap = function()
   {
-    this._map = {__proto__: null};
+    this._map = Object.create(null);
     this._id = ++pageMapCounter;
   };
   PageMap.prototype = {
     _delete: function(id)
     {
       delete this._map[id];
 
       if (Object.keys(this._map).length == 0)
         delete nonEmptyPageMaps[this._id];
+    },
+    keys: function()
+    {
+      return Object.keys(this._map).map(ext._getPage);
     },
     get: function(page)
     {
       return this._map[page._id];
     },
     set: function(page, value)
     {
       this._map[page._id] = value;
       nonEmptyPageMaps[this._id] = this;
     },
@@ skipping 11 matching lines @@
       this._delete(page._id);
     }
   };
 
   ext._removeFromAllPageMaps = function(pageId)
   {
     for (var pageMapId in nonEmptyPageMaps)
       nonEmptyPageMaps[pageMapId]._delete(pageId);
   };
 })();