user.js

commit 6504744cc8c0005e1dfc0fb86198adc546c1c099
parent 3e27f5bb786311b78fc91a84b2bc53429efbae4a
Author: Roman-Nopantski <Roman-Nopantski@users.noreply.github.com>
Date:   Wed,  8 Mar 2017 20:09:04 +1300

javascript.options.wasm
Diffstat:
M
user.js
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/user.js b/user.js
@@ -943,6 +943,9 @@ user_pref("javascript.options.asmjs", false);
  * [WARNING] causes the odd site issue and there is also a performance loss ***/
    // user_pref("javascript.options.ion", false);
    // user_pref("javascript.options.baselinejit", false);
+/* 2422: disable WebAssembly for now (FF52+)
+ * https://developer.mozilla.org/en-US/docs/WebAssembly ***/
+user_pref("javascript.options.wasm", false);
 /* 2425: disable ArchiveAPI i.e reading content of archives, such as zip files, directly
  * in the browser, through DOM file objects. Default is false. ***/
 user_pref("dom.archivereader.enabled", false);