1 files changed, 21 insertions, 0 deletions
diff --git a/vendor/web-sys/webidls/enabled/PushEvent.webidl b/vendor/web-sys/webidls/enabled/PushEvent.webidl
new file mode 100644
index 000000000..269b3699a
--- /dev/null
+++ b/vendor/web-sys/webidls/enabled/PushEvent.webidl
@@ -0,0 +1,21 @@
+/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this file,
+ * You can obtain one at http://mozilla.org/MPL/2.0/.
+ *
+ * The origin of this IDL file is
+ * https://w3c.github.io/push-api/
+ */
+
+[Constructor(DOMString type, optional PushEventInit eventInitDict),
+ Func="mozilla::dom::DOMPrefs::PushEnabled",
+ Exposed=ServiceWorker]
+interface PushEvent : ExtendableEvent {
+  readonly attribute PushMessageData? data;
+};
+
+typedef (BufferSource or USVString) PushMessageDataInit;
+
+dictionary PushEventInit : ExtendableEventInit {
+  PushMessageDataInit data;
+};