[tor-commits] [tor-browser/tor-browser-31.4.0esr-4.5-1] fixup! TB4: Tor Browser's Firefox preference overrides.

[mikeperry at torproject.org]

commit e223c84ed45e7bd935f1ab8f1aa6d655d4d458cc
Author: Mike Perry <mikeperry-git at torproject.org>
Date:   Tue Jan 13 10:42:53 2015 -0800

    fixup! TB4: Tor Browser's Firefox preference overrides.
    
    Remove the JIT prefs, as they are now handled by the security slider.
---
 browser/app/profile/000-tor-browser.js |    7 -------
 1 file changed, 7 deletions(-)

diff --git a/browser/app/profile/000-tor-browser.js b/browser/app/profile/000-tor-browser.js
index a6bef64..fd0a35c 100644
--- a/browser/app/profile/000-tor-browser.js
+++ b/browser/app/profile/000-tor-browser.js
@@ -156,13 +156,6 @@ pref("keyword.URL", "https://startpage.com/do/search?q=");
 pref("gfx.direct2d.disabled", true);
 pref("layers.acceleration.disabled", true);
 
-// Security enhancements
-// https://trac.torproject.org/projects/tor/ticket/9387#comment:17
-pref("javascript.options.ion.content", false);
-pref("javascript.options.baselinejit.content", false);
-pref("javascript.options.asmjs", false);
-pref("javascript.options.typeinference", false);
-
 // Audio_data is deprecated in future releases, but still present
 // in FF24. This is a dangerous combination (spotted by iSec)
 pref("media.audio_data.enabled", false);