user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 3028a7a61a5819b38ad7143fffacb7510b134292
parent 06d9d61558543b9a0ce80bd45f431a81574f16bc
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu,  9 Nov 2017 07:58:21 +1300

5025: another media type
Diffstat:
Muser.js | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1767,7 +1767,8 @@ user_pref("browser.bookmarks.showRecentlyBookmarked", false); // user_pref("media.wave.enabled", false); // user_pref("media.webm.enabled", false); // user_pref("media.wmf.enabled", false); // https://www.youtube.com/html5 - for the two H.264 entries - // user_pref("media.wmf.vp9.enabled", false); + // user_pref("media.wmf.amd.vp9.enabled", true); // (FF57+) +// user_pref("media.wmf.vp9.enabled", false); /* 5026: disable "Reader View" ***/ // user_pref("reader.parse-on-load.enabled", false); /* 5027: decode URLs on copy from the urlbar (FF53+)