From dd26df765246c3a6906089ce3ac27a36d969c51c Mon Sep 17 00:00:00 2001 From: Narsil Date: Sat, 7 Aug 2021 09:32:30 +0000 Subject: [PATCH] Update 'user.js' --- user.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/user.js b/user.js index e220106..36e41b9 100644 --- a/user.js +++ b/user.js @@ -645,8 +645,9 @@ user_pref("browser.offline-apps.notify", true); user_pref("javascript.options.asmjs", false); // ------------------------------------- // Disable Ion and baseline JIT to harden against JS exploits -// user_pref("javascript.options.ion", false); -// user_pref("javascript.options.baselinejit", false); +user_pref("javascript.options.ion", false); +user_pref("javascript.options.baselinejit", false); +user_pref("javascript.options.native_regexp", false); // ------------------------------------- // Disable WebAssembly user_pref("javascript.options.wasm", false); @@ -700,7 +701,7 @@ user_pref("browser.pagethumbnails.capturing_disabled", true); // [HIDDEN PREF] user_pref("devtools.chrome.enabled", false); // ------------------------------------- // Disable MathML (Mathematical Markup Language) -// user_pref("mathml.disabled", true); +user_pref("mathml.disabled", true); // ------------------------------------- // Disable middle mouse click opening links from clipboard user_pref("middlemouse.contentLoadURL", false);