user.js

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

commit b0221ec838acdf469b99466e37d8bf9068ce57fe
parent a3611b7cf89b64b7b9814259cb5fdbde3ebbcd3e
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sun, 17 Nov 2019 10:33:02 +0000

1576254 version fixup
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1049,7 +1049,7 @@ user_pref("javascript.options.asmjs", false); // user_pref("javascript.options.ion", false); // user_pref("javascript.options.baselinejit", false); /* 2422: disable WebAssembly [FF52+] [SETUP-PERF] - * [NOTE] In FF70+ this no longer affects extensions (1576254) + * [NOTE] In FF71+ this no longer affects extensions (1576254) * [1] https://developer.mozilla.org/docs/WebAssembly ***/ user_pref("javascript.options.wasm", false); /* 2426: disable Intersection Observer API [FF55+]