From 6a0c44d0a4b467652d92fbb495cbe371f265235c Mon Sep 17 00:00:00 2001
From: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date: Sat, 27 Apr 2019 07:03:28 +0000
Subject: [PATCH] 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
---
 user.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js
index 2ba26a5..4e9657e 100644
--- 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);