| 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 global.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 global.ext.PageMap = PageMap; |
| 78 | 79 |
| 79 global.ext.showOptions = function(callback) | 80 global.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 global.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 |