Add PushManagerAttribute interface mixin

saschanaz · web-flow · commit fd2ed34dcdcf · 2025-12-26T21:23:10.000+01:00
diff --git a/inputfiles/patches/push-api.kdl b/inputfiles/patches/push-api.kdl
@@ -1,3 +1,8 @@
+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
