| OLD | NEW | 
|---|
| 1 /* | 1 /* | 
| 2  * This file is part of Adblock Plus <https://adblockplus.org/>, | 2  * This file is part of Adblock Plus <https://adblockplus.org/>, | 
| 3  * Copyright (C) 2006-2016 Eyeo GmbH | 3  * Copyright (C) 2006-2016 Eyeo GmbH | 
| 4  * | 4  * | 
| 5  * Adblock Plus is free software: you can redistribute it and/or modify | 5  * Adblock Plus is free software: you can redistribute it and/or modify | 
| 6  * it under the terms of the GNU General Public License version 3 as | 6  * it under the terms of the GNU General Public License version 3 as | 
| 7  * published by the Free Software Foundation. | 7  * published by the Free Software Foundation. | 
| 8  * | 8  * | 
| 9  * Adblock Plus is distributed in the hope that it will be useful, | 9  * Adblock Plus is distributed in the hope that it will be useful, | 
| 10  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| 11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
| 12  * GNU General Public License for more details. | 12  * GNU General Public License for more details. | 
| 13  * | 13  * | 
| 14  * You should have received a copy of the GNU General Public License | 14  * You should have received a copy of the GNU General Public License | 
| 15  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 15  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 
| 16  */ | 16  */ | 
| 17 | 17 | 
| 18 (function(global) | 18 "use strict"; | 
|  | 19 | 
| 19 { | 20 { | 
| 20   if (!global.ext) | 21   if (typeof ext == "undefined") | 
| 21     global.ext = {}; | 22     window.ext = {}; | 
| 22 | 23 | 
| 23   window.addEventListener("load", function() | 24   window.addEventListener("load", () => | 
| 24   { | 25   { | 
| 25     parent.postMessage({ | 26     parent.postMessage({ | 
| 26       type: "backgroundPageLoaded" | 27       type: "backgroundPageLoaded" | 
| 27     }, "*"); | 28     }, "*"); | 
| 28   }, false) | 29   }, false); | 
| 29 | 30 | 
| 30   function PageMap() | 31   function PageMap() | 
| 31   { | 32   { | 
| 32     this._keys = []; | 33     this._keys = []; | 
| 33     this._values = []; | 34     this._values = []; | 
| 34   } | 35   } | 
| 35   PageMap.prototype = { | 36   PageMap.prototype = { | 
| 36     keys: function() | 37     keys() | 
| 37     { | 38     { | 
| 38       return this._keys.map(function(source) | 39       return this._keys.map(source => | 
| 39       { | 40       { | 
| 40         return new global.ext.Page(source); | 41         return new window.ext.Page(source); | 
| 41       }); | 42       }); | 
| 42     }, | 43     }, | 
| 43 | 44 | 
| 44     get: function(page) | 45     get(page) | 
| 45     { | 46     { | 
| 46       return this._values[this._keys.indexOf(page._source)]; | 47       return this._values[this._keys.indexOf(page._source)]; | 
| 47     }, | 48     }, | 
| 48 | 49 | 
| 49     set: function(page, value) | 50     set(page, value) | 
| 50     { | 51     { | 
| 51       var index = this._keys.indexOf(page._source); | 52       let index = this._keys.indexOf(page._source); | 
| 52       if (index < 0) | 53       if (index < 0) | 
| 53       { | 54       { | 
| 54         index = this._keys.push(page._source) - 1; | 55         index = this._keys.push(page._source) - 1; | 
| 55 | 56 | 
| 56         var callback = function() | 57         let callback = function() | 
| 57         { | 58         { | 
| 58           page._source.removeEventListener("unload", callback, false); | 59           page._source.removeEventListener("unload", callback, false); | 
| 59           this.delete(page); | 60           this.delete(page); | 
| 60         }.bind(this); | 61         }.bind(this); | 
| 61         page._source.addEventListener("unload", callback, false); | 62         page._source.addEventListener("unload", callback, false); | 
| 62       } | 63       } | 
| 63       this._values[index] = value; | 64       this._values[index] = value; | 
| 64     }, | 65     }, | 
| 65 | 66 | 
| 66     delete: function(page) | 67     delete(page) | 
| 67     { | 68     { | 
| 68       var index = this._keys.indexOf(page._source); | 69       let index = this._keys.indexOf(page._source); | 
| 69       if (index >= 0) | 70       if (index >= 0) | 
| 70       { | 71       { | 
| 71         this._keys.splice(index, 1); | 72         this._keys.splice(index, 1); | 
| 72         this._values.splice(index, 1); | 73         this._values.splice(index, 1); | 
| 73       } | 74       } | 
| 74     } | 75     } | 
| 75   }; | 76   }; | 
| 76 | 77 | 
| 77   global.ext.PageMap = PageMap; | 78   window.ext.PageMap = PageMap; | 
| 78 | 79 | 
| 79   global.ext.showOptions = function(callback) | 80   window.ext.showOptions = function(callback) | 
| 80   { | 81   { | 
| 81     if (top.location.href.indexOf("new-options.html") == -1) | 82     if (top.location.href.indexOf("new-options.html") == -1) | 
| 82       window.open("new-options.html", "_blank"); | 83       window.open("new-options.html", "_blank"); | 
| 83 | 84 | 
| 84     if (callback) | 85     if (callback) | 
| 85       callback(); | 86       callback(); | 
| 86   }; | 87   }; | 
| 87 | 88 | 
| 88   global.ext.devtools = { | 89   window.ext.devtools = { | 
| 89     onCreated: { | 90     onCreated: { | 
| 90       addListener: function(listener) | 91       addListener(listener) | 
| 91       { | 92       { | 
| 92         window.addEventListener("message", function(event) | 93         window.addEventListener("message", event => | 
| 93         { | 94         { | 
| 94           if (event.data.type == "devtools") | 95           if (event.data.type == "devtools") | 
| 95             listener(new ext.Page(event.source)); | 96             listener(new ext.Page(event.source)); | 
| 96         }); | 97         }); | 
| 97       } | 98       } | 
| 98     } | 99     } | 
| 99   }; | 100   }; | 
| 100 })(this); | 101 } | 
| OLD | NEW | 
|---|