commit 1ca437755964660f39630f82cc1305670fef7874 Author: Georg Koppen <gk@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);