From 201210111e438da3a72d64fb2849212563b299a2 Mon Sep 17 00:00:00 2001 From: Thorin-Oakenpants Date: Sat, 5 Oct 2019 15:12:21 +0000 Subject: [PATCH] char fix --- user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user.js b/user.js index 996985b..deb1fd8 100644 --- a/user.js +++ b/user.js @@ -995,7 +995,7 @@ user_pref("dom.serviceWorkers.enabled", false); // user_pref("dom.webnotifications.serviceworker.enabled", false); // [FF44+] /* 2305: disable Push Notifications [FF44+] * Push is an API that allows websites to send you (subscribed) messages even when the site - * isn’t loaded, by pushing messages to your userAgentID through Mozilla's Push Server. + * isn't loaded, by pushing messages to your userAgentID through Mozilla's Push Server. * [NOTE] Push requires service workers (2302) to subscribe to and display, and is behind * a prompt (2306). Disabling service workers alone doesn't stop Firefox polling the * Mozilla Push Server. To remove all subscriptions, reset your userAgentID (in about:config