diff --git a/inputfiles/patches/push.kdl b/inputfiles/patches/push-api.kdl
similarity index 57%
rename from inputfiles/patches/push.kdl
rename to inputfiles/patches/push-api.kdl
index c686fff8a..98b70f785 100644
--- a/inputfiles/patches/push.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
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": {