diff options
| -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 8e31ac0405..6c6d7da7c2 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -574,13 +574,6 @@ user_pref("browser.download.manager.addToRecentDocs", false); user_pref("browser.download.always_ask_before_handling_new_types", true); /** EXTENSIONS ***/ -/* 2660: limit allowed extension directories - * 1=profile, 2=user, 4=application, 8=system, 16=temporary, 31=all - * The pref value represents the sum: e.g. 5 would be profile and application directories - * [SETUP-CHROME] Breaks usage of files which are installed outside allowed directories - * [1] https://archive.is/DYjAM ***/ -user_pref("extensions.enabledScopes", 5); // [HIDDEN PREF] - // user_pref("extensions.autoDisableScopes", 15); // [DEFAULT: 15] /* 2661: disable bypassing 3rd party extension install prompts [FF82+] * [1] https://bugzilla.mozilla.org/buglist.cgi?bug_id=1659530,1681331 ***/ user_pref("extensions.postDownloadThirdPartyPrompt", false); |