user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit f0945743b7ac4ca1d04fffbe62b33270ea7b85f5
parent ee35d7c70df0ee3423012dbd365e3430e7023b4a
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Fri, 27 Mar 2020 16:20:41 +0000

2662: clarify 4503 needed, #912
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1221,7 +1221,7 @@ user_pref("browser.download.hide_plugins_without_extensions", false); * [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 (also see 4503) [FF60+] +/* 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", "");