Migrate Push API (#2326)

Bashamega · saschanaz · web-flow · commit f89d0da74312 · 2025-12-26T20:25:58.000Z
Co-authored-by: saschanaz &lt;saschanaz@users.noreply.github.com&gt;
diff --git a/inputfiles/patches/push-api.kdl b/inputfiles/patches/push-api.kdl
@@ -1,4 +1,10 @@
-interface-mixin PushManagerAttribute {
-  // Windows support only on WebKit as of 2025-10
-  property pushManager exposed=ServiceWorker
-}
+interface-mixin PushManagerAttribute {
+  // Windows support only on WebKit as of 2025-10
+  property pushManager exposed=ServiceWorker
+}
+
+removals {
+  dictionary PushEventInit {
+    member notification // WebKit only as of 2025-12
+  }
+}
diff --git a/inputfiles/removedTypes.jsonc b/inputfiles/removedTypes.jsonc
@@ -205,13 +205,6 @@
                     }
                 }
             },
-            "PushEventInit": {
-                "members": {
-                    "member": {
-                        "notification": null // WebKit only as of 2025-08
-                    }
-                }
-            },
             "ReadableStreamReadResult": null,
             "RequestInit": {
                 "members": {

Original file line number	Diff line number	Diff line change
`@@ -205,13 +205,6 @@`
`205`	`205`	`}`
`206`	`206`	`}`
`207`	`207`	`},`
`208`		`- "PushEventInit": {`
`209`		`- "members": {`
`210`		`- "member": {`
`211`		`- "notification": null // WebKit only as of 2025-08`
`212`		`- }`
`213`		`- }`
`214`		`- },`
`215`	`208`	`"ReadableStreamReadResult": null,`
`216`	`209`	`"RequestInit": {`
`217`	`210`	`"members": {`