user.js

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

commit 55ae994972c6b27fb40b121b07aeed6c2e781e4d
parent f0945743b7ac4ca1d04fffbe62b33270ea7b85f5
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat, 28 Mar 2020 13:18:34 +0000

2421 fixup Ion/Jit note
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1055,7 +1055,7 @@ user_pref("dom.vibrator.enabled", false); * [6] https://rh0dev.github.io/blog/2017/the-return-of-the-jit/ ***/ user_pref("javascript.options.asmjs", false); /* 2421: disable Ion and baseline JIT to help harden JS against exploits - * [NOTE] In FF75+ these no longer affect extensions (1599226) + * [NOTE] Disabling JIT also disables Ion. In FF75+ disabling Ion no longer affects extensions (1599226) * [WARNING] If false, causes the odd site issue and there is also a performance loss * [1] https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2015-0817 ***/ // user_pref("javascript.options.ion", false);