user.js

commit 8a86097997cf56735475da2233f689faab4c3ce9
parent 7a9763d1292be07450a3ed7eca7b6d8475e8072d
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sun, 28 Apr 2019 11:10:15 +0000

1820s: GMP: remove three prefs, see #709
Diffstat:
M
user.js
 | 
5
+----

1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/user.js b/user.js
@@ -1024,10 +1024,7 @@ user_pref("plugin.scan.plid.all", false);
 /* 1820: disable all GMP (Gecko Media Plugins) [SETUP-WEB]
  * [1] https://wiki.mozilla.org/GeckoMediaPlugins ***/
 user_pref("media.gmp-provider.enabled", false);
-user_pref("media.gmp.trial-create.enabled", false);
-user_pref("media.gmp-manager.url", "data:text/plain,");
-user_pref("media.gmp-manager.url.override", "data:text/plain,"); // [HIDDEN PREF]
-user_pref("media.gmp-manager.updateEnabled", false); // disable local fallback [HIDDEN PREF]
+user_pref("media.gmp-manager.updateEnabled", false); // HIDDEN PREF]
 /* 1825: disable widevine CDM (Content Decryption Module) [SETUP-WEB] ***/
 user_pref("media.gmp-widevinecdm.visible", false);
 user_pref("media.gmp-widevinecdm.enabled", false);