user.js

commit 6a0c44d0a4b467652d92fbb495cbe371f265235c
parent 882d25f725b75fe12225d12e257a3c1cc3dcf033
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat, 27 Apr 2019 07:03:28 +0000

2517: should be warning, not setup

If it's inactive then it's a warning. We can still go through the js and add setup-harden tags for a few inactive items, which I will do
Diffstat:
M
user.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/user.js b/user.js
@@ -1258,7 +1258,7 @@ user_pref("media.navigator.enabled", false);
  * [1] https://bugzilla.mozilla.org/1288359 ***/
 user_pref("dom.webaudio.enabled", false);
 /* 2517: disable Media Capabilities API [FF63+]
- * [SETUP-PERF] This *may* affect media performance if disabled, no one is sure
+ * [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);