user.js

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

commit cd322f39a4f0212d53fb935b6c31eb179f989d2c
parent 8f2b674910e646780c0fca2e01281f6c9618df99
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Fri,  4 May 2018 21:55:51 +0000

2613: restrictedDomains
Diffstat:
Muser.js | 3+++
1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1241,6 +1241,9 @@ user_pref("permissions.manager.defaultsUrl", ""); user_pref("devtools.webide.autoinstallADBHelper", false); user_pref("devtools.debugger.remote-enabled", false); user_pref("devtools.webide.enabled", false); +/* 2613: disable webextension restrictions on certain mozilla domains (also see 4503) (FF60+) + * [1] https://bugzilla.mozilla.org/buglist.cgi?bug_id=1384330,1406795,1415644,1453988 ***/ + // user_pref("extensions.webextensions.restrictedDomains", ""); /* 2617: enable Firefox's built-in PDF reader [SETUP] * [SETTING] General>Applications>Portable Document Format (PDF) * [SETTING-ESR52] Applications>Portable Document Format (PDF)