user.js

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

commit f214e4bc4e69af62a031323142b3645bd0bad340
parent 8fd6061bcc977d6e242ba08b1c50ac46b0225b7d
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Tue, 13 Nov 2018 08:42:49 +0000

2517: disable Media Capabilities API (for now)
Diffstat:
Muser.js | 5+++++
1 file changed, 5 insertions(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -1214,6 +1214,11 @@ user_pref("dom.webaudio.enabled", false); /* 2516: disable PointerEvents * [1] https://developer.mozilla.org/en-US/docs/Web/API/PointerEvent ***/ user_pref("dom.w3c_pointer_events.enabled", false); +/* 2517: disable Media Capabilities API (FF63+) + [WARNING] This *may* affect media performance if disabled, no one is sure + [1] https://github.com/WICG/media-capabilities + [2] https://wicg.github.io/media-capabilities/#security-privacy-considerations ***/ +user_pref("media.media-capabilities.enabled", false); /*** 2600: MISCELLANEOUS ***/ user_pref("_user.js.parrot", "2600 syntax error: the parrot's run down the curtain!");