DO NOT REVIEW Bindings and plumbing for push messaging API.

Source/modules/pushmessaging/PushManager.idl

Index: Source/modules/pushmessaging/PushManager.idl
diff --git a/Source/core/animation/DocumentAnimation.idl b/Source/modules/pushmessaging/PushManager.idl
similarity index 51%
copy from Source/core/animation/DocumentAnimation.idl
copy to Source/modules/pushmessaging/PushManager.idl
index 2bfb6a74b00d388c5f585b10f2d56950155c2458..80148ae23948610b145270e0b54233d22530f1ad 100644
--- a/Source/core/animation/DocumentAnimation.idl
+++ b/Source/modules/pushmessaging/PushManager.idl
@@ -3,7 +3,7 @@
 // found in the LICENSE file.
 
 [
-    RuntimeEnabled=WebAnimationsAPI,
-] partial interface Document {
-    readonly attribute Timeline timeline;
+    NoInterfaceObject,
+] interface PushManager {
+    [CallWith=ExecutionContext, ImplementedAs=registerPushMessaging] Promise register(DOMString channelname);

[Peter Beverloo, 2014/03/10 13:59:28]

Add a FIXME (possibly with assigned bug) about the rest of the API needing
implementation, specifically unregister() and registrations()?

[Peter Beverloo, 2014/03/10 13:59:28]

I thought we were dropping the |channelName| attribute as it's just syntactic
sugar?

[Michael van Ouwerkerk, 2014/03/10 15:12:04]

Maybe, it wasn't clear to me whether we'd partially or completely remove it from
the API.

[Michael van Ouwerkerk, 2014/03/10 15:12:04]

I think it's implied that one patch does not implement the whole API. The API
spec will be referenced from the bug.

 };