From 85c266eac91d7152d5ba6f8811cd06f23fd827db Mon Sep 17 00:00:00 2001 From: earthlng Date: Tue, 3 Dec 2019 15:54:06 +0000 Subject: [PATCH] Update user.js --- user.js | 1 + 1 file changed, 1 insertion(+) diff --git a/user.js b/user.js index 4e74500..c01cd5b 100644 --- a/user.js +++ b/user.js @@ -1770,6 +1770,7 @@ user_pref("plugins.click_to_play", true); // [DEFAULT: true FF25+] // 2033: disable autoplay for muted videos [FF63+] - replaced by 'media.autoplay.default' options (2030) // [-] https://bugzilla.mozilla.org/1562331 // user_pref("media.autoplay.allow-muted", false); +// * * * / // FF71 // 2608: disable WebIDE and ADB extension download // [1] https://trac.torproject.org/projects/tor/ticket/16222