| 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"); | 
|  |