commit 0ae8ff689e7f6f0c07d15bfd7ad13d9f7bd54d55
Author: Mike Perry <[email protected]>
Date: Wed Apr 2 04:42:20 2014 -0700
fixup! Add security enhancements suggested by Jesse Ruderman.
It might be nice if I could cut and paste properly...
---
browser/app/profile/000-tor-browser.js | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/browser/app/profile/000-tor-browser.js
b/browser/app/profile/000-tor-browser.js
index 91f8697..4198843 100644
--- a/browser/app/profile/000-tor-browser.js
+++ b/browser/app/profile/000-tor-browser.js
@@ -143,9 +143,9 @@ pref("layers.acceleration.disabled", true);
// Security enhancements
// https://trac.torproject.org/projects/tor/ticket/9387#comment:17
pref("javascript.options.ion.content", false);
-pref("javascripjavascript.options.baselinejit.content", false);
-pref("javascripjavascript.options.asmjs", false);
-pref("javascripjavascript.options.typeinference", false);
+pref("javascript.options.baselinejit.content", false);
+pref("javascript.options.asmjs", false);
+pref("javascript.options.typeinference", false);
// Version placeholder
_______________________________________________
tor-commits mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits
