From c52568837ebc0ec83755465885730e808ab549e9 Mon Sep 17 00:00:00 2001
From: hackademix
Date: Fri, 27 Sep 2019 13:24:49 +0200
Subject: Removed dead tab permissions management code.

---
 src/bg/Settings.js | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/bg/Settings.js b/src/bg/Settings.js
index 202fae5..57e6067 100644
--- a/src/bg/Settings.js
+++ b/src/bg/Settings.js
@@ -171,11 +171,6 @@ var Settings = {
     }, null, 2);
   },
 
-  async enforceTabRestrictions(tabId, unrestricted = ns.unrestrictedTabs.has(tabId)) {
-    await ChildPolicies.storeTabInfo(tabId, unrestricted && {unrestricted: true});
-    return unrestricted;
-  },
-
   async reloadOptionsUI() {
     try {
       for (let t of await browser.tabs.query({url: browser.extension.getURL(
-- 
cgit v1.2.3