From bfea817079787a4805dc774f20166b2abefa75fb Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Thu, 11 Jun 2015 16:08:33 +0200
Subject: [PATCH] Abrowser: disable gecko media plugins completely. Fixes
#14581
---
helpers/DATA/firefox/settings.js | 3 ++-
helpers/make-firefox | 2 +-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/helpers/DATA/firefox/settings.js b/helpers/DATA/firefox/settings.js
index 0f02a21f..91d61fa7 100644
--- a/helpers/DATA/firefox/settings.js
+++ b/helpers/DATA/firefox/settings.js
@@ -156,8 +156,9 @@ pref("font.default.x-western", "sans-serif");
// Disable Gecko media plugins: https://wiki.mozilla.org/GeckoMediaPlugins
pref("media.gmp-manager.url", "http://127.0.0.1/");
+pref("media.gmp-provider.enabled", false);
// Don't install openh264 codec
-pref("media.gmp-gmpopenh264.provider.enabled", false);
+pref("media.gmp-gmpopenh264.enabled", false);
//Disable middle click content load
//Avoid loading urls by mistake
diff --git a/helpers/make-firefox b/helpers/make-firefox
index 4b6d008b..f7f73180 100644
--- a/helpers/make-firefox
+++ b/helpers/make-firefox
@@ -18,7 +18,7 @@
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
#
-VERSION=37
+VERSION=38
. ./config
--
GitLab