webextension: Added browser to list of globals.

2019-06-15 02:48:38 +02:00 · 2019-06-15 02:48:38 +02:00 · 81d4a7f396
parent f90883c412
commit 81d4a7f396
2 changed files with 4 additions and 0 deletions
--- a/browser-plugins/webextension/options.js
+++ b/browser-plugins/webextension/options.js
@ -1,3 +1,5 @@
+/* globals browser */
+
 function save_options(e)
 {
    browser.storage.sync.set(
--- a/browser-plugins/webextension/popup.js
+++ b/browser-plugins/webextension/popup.js
@ -1,3 +1,5 @@
+/* globals browser */
+
 let taburl = "";

 const txttags = document.getElementById("txttags");