From 3028a7a61a5819b38ad7143fffacb7510b134292 Mon Sep 17 00:00:00 2001 From: Thorin-Oakenpants Date: Thu, 9 Nov 2017 07:58:21 +1300 Subject: [PATCH] 5025: another media type --- user.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/user.js b/user.js index 60ddf10..44a1037 100644 --- 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+)