user.js

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

commit e38e253c25ebee28d4ecaa96d2f5cd68e3d86e1d
parent 14aaec71fb192eaab78365d54b0b76a2d5845860
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon,  4 May 2020 10:49:07 +0000

oophs, forgot deprecation source
Diffstat:
Muser.js | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1719,6 +1719,7 @@ user_pref("webgl.disable-extensions", true); // * * * / // FF76 // 0401: sanitize blocklist url + // [-] https://bugzilla.mozilla.org/1618188 user_pref("extensions.blocklist.url", "https://blocklists.settings.services.mozilla.com/v1/blocklist/3/%APP_ID%/%APP_VERSION%/"); // * * * / // ***/