Push API: define push event on Service Worker.

Source/modules/push_messaging/ServiceWorkerGlobalScopePush.idl

Index: Source/modules/push_messaging/ServiceWorkerGlobalScopePush.idl
diff --git a/Source/modules/push_messaging/NavigatorPushManager.idl b/Source/modules/push_messaging/ServiceWorkerGlobalScopePush.idl
similarity index 63%
copy from Source/modules/push_messaging/NavigatorPushManager.idl
copy to Source/modules/push_messaging/ServiceWorkerGlobalScopePush.idl
index 26db0dddc171d946dab70ea59e2202a465f47803..add41a8043850847a5f4c2a427b8b391afb668a7 100644
--- a/Source/modules/push_messaging/NavigatorPushManager.idl
+++ b/Source/modules/push_messaging/ServiceWorkerGlobalScopePush.idl
@@ -3,7 +3,8 @@
 // found in the LICENSE file.
 
 [
+    RuntimeEnabled=ServiceWorker,

[dominicc (has gone to gerrit), 2014/05/22 06:52:28]

Does this work? I thought you separated multiple values with | but I can't find
examples of either.

[Michael van Ouwerkerk, 2014/05/23 18:32:03]

Gating it on PushMessaging seems to be sufficient.

[dominicc (has gone to gerrit), 2014/05/26 02:31:44]

I agree that gating it on PushMessaging is fine; FWIW I chatted with nbarth and
the synax is X=A|B

You should add a virtual/webexposed test for this if you didn't already.

     RuntimeEnabled=PushMessaging,
-] partial interface Navigator {
-    readonly attribute PushManager push;
+] partial interface ServiceWorkerGlobalScope {
+    attribute EventHandler onpush;
 };