From 2def4f219440b7e1fdae22769c773ac8c387e018 Mon Sep 17 00:00:00 2001
From: Bashamega <adambashaahmednaji@gmail.com>
Date: Fri, 26 Dec 2025 20:00:52 +0200
Subject: [PATCH 1/4] Push API

---
 inputfiles/patches/push-api.kdl | 5 +++++
 inputfiles/removedTypes.jsonc   | 7 -------
 2 files changed, 5 insertions(+), 7 deletions(-)
 create mode 100644 inputfiles/patches/push-api.kdl

diff --git a/inputfiles/patches/push-api.kdl b/inputfiles/patches/push-api.kdl
new file mode 100644
index 000000000..0d637fa6c
--- /dev/null
+++ b/inputfiles/patches/push-api.kdl
@@ -0,0 +1,5 @@
+removals {
+  dictionary PushEventInit {
+    member notification
+  }
+}
diff --git a/inputfiles/removedTypes.jsonc b/inputfiles/removedTypes.jsonc
index f311f563d..0acabe81a 100644
--- a/inputfiles/removedTypes.jsonc
+++ b/inputfiles/removedTypes.jsonc
@@ -213,13 +213,6 @@
                     }
                 }
             },
-            "PushEventInit": {
-                "members": {
-                    "member": {
-                        "notification": null // WebKit only as of 2025-08
-                    }
-                }
-            },
             "ReadableStreamReadResult": null,
             "RequestInit": {
                 "members": {

From 8acd6a1e556115e6c035a292628982a390b6e8bb Mon Sep 17 00:00:00 2001
From: Kagami Sascha Rosylight <saschanaz@outlook.com>
Date: Fri, 26 Dec 2025 19:59:50 +0100
Subject: [PATCH 2/4] Annotate notification member for WebKit usage

Added a comment to the notification member indicating WebKit-specific usage.
---
 inputfiles/patches/push-api.kdl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inputfiles/patches/push-api.kdl b/inputfiles/patches/push-api.kdl
index 0d637fa6c..8e7716faf 100644
--- a/inputfiles/patches/push-api.kdl
+++ b/inputfiles/patches/push-api.kdl
@@ -1,5 +1,5 @@
 removals {
   dictionary PushEventInit {
-    member notification
+    member notification // WebKit only as of 2025-12
   }
 }

From 17932de46d626ef96c3b271763022dd0d32fc31f Mon Sep 17 00:00:00 2001
From: Kagami Sascha Rosylight <saschanaz@outlook.com>
Date: Fri, 26 Dec 2025 21:22:54 +0100
Subject: [PATCH 3/4] Delete inputfiles/patches/push.kdl

---
 inputfiles/patches/push.kdl | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 inputfiles/patches/push.kdl

diff --git a/inputfiles/patches/push.kdl b/inputfiles/patches/push.kdl
deleted file mode 100644
index c686fff8a..000000000
--- a/inputfiles/patches/push.kdl
+++ /dev/null
@@ -1,4 +0,0 @@
-interface-mixin PushManagerAttribute {
-  // Windows support only on WebKit as of 2025-10
-  property pushManager exposed=ServiceWorker
-}

From fd2ed34dcdcf1bf8957f5032fed6f34f3d094ad7 Mon Sep 17 00:00:00 2001
From: Kagami Sascha Rosylight <saschanaz@outlook.com>
Date: Fri, 26 Dec 2025 21:23:10 +0100
Subject: [PATCH 4/4] Add PushManagerAttribute interface mixin

---
 inputfiles/patches/push-api.kdl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/inputfiles/patches/push-api.kdl b/inputfiles/patches/push-api.kdl
index 8e7716faf..98b70f785 100644
--- 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