user.js

commit cb5593f09e54352553b61f8c2260cd7c1e7e80e1
parent 63ed779776d15440df93417c0204993a984bf591
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Fri, 28 Jul 2017 18:15:10 +0200

1840 - add override url + disable local fallback

they are both in Tor 7.0.2.
With .url.override set, media.gmp-manager.url is never used (but let's keep it anyway)
source: https://dxr.mozilla.org/mozilla-central/source/toolkit/modules/GMPInstallManager.jsm#66

Since ESR52 it is not enough anymore to block pinging the GMP update/download server.
There is a local fallback that must be blocked now as well. See: https://bugzilla.mozilla.org/show_bug.cgi?id=1267495.
Diffstat:
M
user.js
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/user.js b/user.js
@@ -957,6 +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
 
 /*** 2000: MEDIA / CAMERA / MIC ***/
 user_pref("ghacks_user.js.parrot", "2000 syntax error: the parrot's snuffed it!");