From 528d0de6b4e7d8a205ef38356d2cdf719cb7405d Mon Sep 17 00:00:00 2001
From: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date: Sat, 27 Apr 2019 17:39:53 +0000
Subject: [PATCH] 2305: permission also applies to push

---
 user.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js
index 0707797..ad9fea2 100644
--- 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