Push API: define push event on Service Worker.

Source/modules/push_messaging/PushEvent.idl

Index: Source/modules/push_messaging/PushEvent.idl
diff --git a/Source/modules/gamepad/GamepadEvent.idl b/Source/modules/push_messaging/PushEvent.idl
similarity index 64%
copy from Source/modules/gamepad/GamepadEvent.idl
copy to Source/modules/push_messaging/PushEvent.idl
index 718226e24997bc9cda7d826c90c63f79accceaf1..ac3b5ae6f760c96da3d5ba177a728d8afaff8386 100644
--- a/Source/modules/gamepad/GamepadEvent.idl
+++ b/Source/modules/push_messaging/PushEvent.idl
@@ -4,6 +4,6 @@
 
 [
     EventConstructor,

[Peter Beverloo, 2014/05/22 16:09:49]

Please guard this behind the runtime flag. It would otherwise be accessible via:

document.createEvent('PushEvent')

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

Done.

-] interface GamepadEvent : Event {
-    [InitializedByEventConstructor] readonly attribute Gamepad gamepad;
+] interface PushEvent : Event {
+    [InitializedByEventConstructor] readonly attribute DOMString data;
 };