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

[gk at torproject.org]

commit 48252096e210b78ab56a5623b296301929faea9f
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 eb73b8c..9f6233c 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":
@@ -2337,7 +2336,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,