diff options
author | hackademix | 2019-09-27 13:24:49 +0200 |
---|---|---|
committer | hackademix | 2019-09-29 17:29:38 +0200 |
commit | c52568837ebc0ec83755465885730e808ab549e9 (patch) | |
tree | 46d938b4ebe366715daea02ae4eb6160d467734a | |
parent | 3bf8e29a9a13a6f811a17c3a896ad80a26a1c262 (diff) | |
download | noscript-c52568837ebc0ec83755465885730e808ab549e9.tar.gz noscript-c52568837ebc0ec83755465885730e808ab549e9.tar.xz noscript-c52568837ebc0ec83755465885730e808ab549e9.zip |
Removed dead tab permissions management code.
-rw-r--r-- | src/bg/Settings.js | 5 |
1 files changed, 0 insertions, 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( |