user.js

commit 12e25652e62673ba8a16fdecbd268ba08764ec36
parent cb5593f09e54352553b61f8c2260cd7c1e7e80e1
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Fri, 28 Jul 2017 18:20:57 +0200

1840 PR - add hidden pref tags
Diffstat:
M
user.js
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/user.js b/user.js
@@ -957,8 +957,8 @@ user_pref("browser.eme.ui.enabled", false); // hides "Play DRM Content" checkbox
 user_pref("media.gmp-gmpopenh264.enabled", false); // (hidden pref)
 user_pref("media.gmp-gmpopenh264.autoupdate", false);
 user_pref("media.gmp-manager.url", "data:text/plain,");
-user_pref("media.gmp-manager.url.override", "data:,");
-user_pref("media.gmp-manager.updateEnabled", false); // disable local fallback
+user_pref("media.gmp-manager.url.override", "data:,"); // (hidden pref)
+user_pref("media.gmp-manager.updateEnabled", false); // disable local fallback (hidden pref)
 
 /*** 2000: MEDIA / CAMERA / MIC ***/
 user_pref("ghacks_user.js.parrot", "2000 syntax error: the parrot's snuffed it!");