[tor-commits] [torbutton/master] Bug 19417: Disable asmjs for now

[gk at torproject.org]

commit 621916d0f79336b95d7390c2e30e2c81c0d2a504
Author: Georg Koppen <gk at torproject.org>
Date:   Thu Jul 14 10:20:12 2016 +0000

    Bug 19417: Disable asmjs for now
    
    We are exempting `javascript.options.asmjs` from the Security Slider for
    now and set it to `false` by default (which is done by a separate
    Tor Browser patch).
    
    This is a stopgap until at least the linkability concerns in #19417 are
    addressed.
---
 src/chrome/content/torbutton.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js
index 6e874b5..3203cef 100644
--- a/src/chrome/content/torbutton.js
+++ b/src/chrome/content/torbutton.js
@@ -242,7 +242,6 @@ var torbutton_unique_pref_observer =
             case "gfx.font_rendering.opentype_svg.enabled":
             case "javascript.options.ion.content":
             case "javascript.options.typeinference":
-            case "javascript.options.asmjs":
             case "noscript.forbidMedia":
             case "media.webaudio.enabled":
             case "network.jar.block-remote-files":
@@ -2344,7 +2343,6 @@ function torbutton_update_thirdparty_prefs() {
 var torbutton_sec_ml_bool_prefs = {
   "javascript.options.ion.content" : false,
   "javascript.options.typeinference" : false,
-  "javascript.options.asmjs" : false,
   "noscript.forbidMedia" : true,
   "media.webaudio.enabled" : false,
   "network.jar.block-remote-files" : true,