diff options
Diffstat (limited to 'debian/local')
| -rw-r--r-- | debian/local/pref/user.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index aa88988b36..6174ea7d29 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1119,13 +1119,6 @@ user_pref("browser.download.manager.addToRecentDocs", false); // user_pref("browser.download.forbid_open_with", true); /** EXTENSIONS ***/ -/* 2660: lock down allowed extension directories - * [SETUP-CHROME] This will break extensions, language packs, themes and any other - * XPI files which are installed outside of profile and application directories - * [1] https://mike.kaply.com/2012/02/21/understanding-add-on-scopes/ - * [1] archived: https://archive.is/DYjAM ***/ -user_pref("extensions.enabledScopes", 5); // [HIDDEN PREF] -user_pref("extensions.autoDisableScopes", 15); // [DEFAULT: 15] /* 2662: disable webextension restrictions on certain mozilla domains (you also need 4503) [FF60+] * [1] https://bugzilla.mozilla.org/buglist.cgi?bug_id=1384330,1406795,1415644,1453988 ***/ // user_pref("extensions.webextensions.restrictedDomains", ""); |