From 8946f495e6d038ed7cc1b3b44696418662e5b43a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20J=C3=A4genstedt?= <philip@foolip.org>
Date: Fri, 19 Apr 2024 13:37:55 +0200
Subject: [PATCH] Remove PushManager "Available in workers"

PushManager is only supported in workers, and this data should be identical to the parent feature. It's not for Safari, and that's wrong, so just remove the entry.

Note that it might be available in the window context in the future:
https://github.com/w3c/push-api/pull/368
---
 api/PushManager.json | 39 ---------------------------------------
 1 file changed, 39 deletions(-)

diff --git a/api/PushManager.json b/api/PushManager.json
index 43e7bcdeab64ce..e18a6615d44a87 100644
--- a/api/PushManager.json
+++ b/api/PushManager.json
@@ -44,45 +44,6 @@
           "deprecated": false
         }
       },
-      "worker_support": {
-        "__compat": {
-          "description": "Available in workers",
-          "support": {
-            "chrome": {
-              "version_added": "42"
-            },
-            "chrome_android": "mirror",
-            "edge": {
-              "version_added": "17"
-            },
-            "firefox": {
-              "version_added": "44"
-            },
-            "firefox_android": {
-              "version_added": "48"
-            },
-            "ie": {
-              "version_added": false
-            },
-            "oculus": "mirror",
-            "opera": "mirror",
-            "opera_android": "mirror",
-            "safari": {
-              "version_added": false
-            },
-            "safari_ios": "mirror",
-            "samsunginternet_android": "mirror",
-            "webview_android": {
-              "version_added": false
-            }
-          },
-          "status": {
-            "experimental": false,
-            "standard_track": true,
-            "deprecated": false
-          }
-        }
-      },
       "getSubscription": {
         "__compat": {
           "mdn_url": "https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription",