user.js

commit 528d0de6b4e7d8a205ef38356d2cdf719cb7405d
parent c9c1671e4aa1121cd457995db39a2e36658f15cd
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat, 27 Apr 2019 17:39:53 +0000

2305: permission also applies to push
Diffstat:
M
user.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/user.js b/user.js
@@ -1163,7 +1163,7 @@ user_pref("dom.serviceWorkers.enabled", false);
  * [1] https://developer.mozilla.org/docs/Web/API/Notifications_API ***/
 user_pref("dom.webnotifications.enabled", false); // [FF22+]
 user_pref("dom.webnotifications.serviceworker.enabled", false); // [FF44+]
-/* 2305: set a default permission for Notifications (see 2304) [FF58+]
+/* 2305: set a default permission for Notifications (2304) and Push (2306) [FF58+]
  * 0=always ask (default), 1=allow, 2=block
  * [NOTE] Best left at default "always ask", fingerprintable via Permissions API
  * [SETTING] to add site exceptions: Page Info>Permissions>Receive Notifications