user.js

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

commit ea713abfc6f40dcd867e56d5d5aa3ed94e70b75e
parent eb532d61bea4116b6a0448c76056ac44c1012478
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat,  5 Aug 2017 09:13:11 +1200

0325: add media.wmf.vp9.enabled
Diffstat:
Muser.js | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1692,6 +1692,7 @@ 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); /* 3026: disable "Reader View" ***/ // user_pref("reader.parse-on-load.enabled", false); /* 3027: decode URLs on copy from the urlbar (FF53+)