Define push_messaging module with PushManager skeleton.

Source/modules/push_messaging/PushManager.idl

Index: Source/modules/push_messaging/PushManager.idl
diff --git a/Source/modules/gamepad/GamepadButton.idl b/Source/modules/push_messaging/PushManager.idl
similarity index 53%
copy from Source/modules/gamepad/GamepadButton.idl
copy to Source/modules/push_messaging/PushManager.idl
index 40561191e3a49fafbcde1e638dc61ef9774ee600..74ab7d00343e5685413342fc0ecbbe72e88ac716 100644
--- a/Source/modules/gamepad/GamepadButton.idl
+++ b/Source/modules/push_messaging/PushManager.idl
@@ -4,8 +4,7 @@
 
 [
     NoInterfaceObject,
-    WillBeGarbageCollected,
-] interface GamepadButton {
-    readonly attribute boolean pressed;
-    readonly attribute float value;
+    RuntimeEnabled=PushMessaging,

[Peter Beverloo, 2014/03/28 13:52:21]

+WillBeGarbageCollected

[Michael van Ouwerkerk, 2014/03/28 16:08:18]

Done.

+] interface PushManager {
+    [CallWith=ExecutionContext, ImplementedAs=registerPushMessaging] Promise register(DOMString senderId);
 };