From 81d4a7f396c2d61cc1b4f92215ab8b7e02ba8c74 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Sat, 15 Jun 2019 02:48:38 +0200
Subject: [PATCH] webextension: Added browser to list of globals.

---
 browser-plugins/webextension/options.js | 2 ++
 browser-plugins/webextension/popup.js   | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/browser-plugins/webextension/options.js b/browser-plugins/webextension/options.js
index ab0616d..9280efb 100644
--- 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(
diff --git a/browser-plugins/webextension/popup.js b/browser-plugins/webextension/popup.js
index 2bf347a..9aeed01 100644
--- 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");