| Index: options.js |
| =================================================================== |
| --- a/options.js |
| +++ b/options.js |
| @@ -12,24 +12,31 @@ |
| * 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/>. |
| */ |
| "use strict"; |
| +// Both Edge and Mozilla Web Extensions use the namespace |
| +// 'browser' instead of 'chrome'. Edge has chrome namespace defined, |
| +// in some cases, but only with one property: 'app'. |
| +if (typeof browser == "undefined" || |
| + typeof chrome != "undefined" && typeof chrome.extension != "undefined") |
| + window.browser = chrome; |
| + |
| let iframe = document.getElementById("content"); |
| iframe.onload = () => |
| { |
| document.title = iframe.contentDocument.title; |
| }; |
| -chrome.runtime.sendMessage({ |
| +browser.runtime.sendMessage({ |
| type: "app.get", |
| what: "application" |
| }, |
| application => |
| { |
| // Load the mobile version of the options page on Firefox for Android. |
| iframe.src = iframe.getAttribute("data-src-" + application) || |
| iframe.getAttribute("data-src"); |