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

[gk at torproject.org]

commit 1ca437755964660f39630f82cc1305670fef7874
Author: Georg Koppen <gk at torproject.org>
Date:   Mon Mar 23 08:07:55 2015 +0000

    fixup! TB4: Tor Browser's Firefox preference overrides.
---
 browser/app/profile/000-tor-browser.js |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/browser/app/profile/000-tor-browser.js b/browser/app/profile/000-tor-browser.js
index 2e2984c..2d93908 100644
--- a/browser/app/profile/000-tor-browser.js
+++ b/browser/app/profile/000-tor-browser.js
@@ -117,7 +117,10 @@ pref("plugin.state.flash", 1);
 pref("plugins.hide_infobar_for_missing_plugin", true);
 pref("plugins.hideMissingPluginsNotification", true);
 pref("media.peerconnection.enabled", false); // Disable WebRTC interfaces
-pref("svg.in-content.enabled", true); // May be disabled via Torbutton's security slider.
+
+// Security slider
+pref("svg.in-content.enabled", true);
+pref("mathml.disabled", false);
 
 // Network and performance
 pref("network.http.pipelining", true);