Index: modules/push_messaging/ServiceWorkerRegistrationPush.idl |
diff --git a/modules/push_messaging/ServiceWorkerRegistrationPush.idl b/modules/push_messaging/ServiceWorkerRegistrationPush.idl |
new file mode 100644 |
index 0000000000000000000000000000000000000000..06e1cfd082b3ed50ff5270763660c4b088424c22 |
--- /dev/null |
+++ b/modules/push_messaging/ServiceWorkerRegistrationPush.idl |
@@ -0,0 +1,12 @@ |
+// Copyright 2014 The Chromium Authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+// https://w3c.github.io/push-api/#extensions-to-the-serviceworkerregistration-interface |
+ |
+[ |
+ Exposed=(Window, ServiceWorker), |
+ RuntimeEnabled=PushMessaging, |
+] partial interface ServiceWorkerRegistration { |
+ readonly attribute PushManager pushManager; |
+}; |