Push API: move PushManager from Navigator to ServiceWorkerRegistration [switchover 6/6]

Source/modules/push_messaging/ServiceWorkerRegistrationPush.idl

Index: Source/modules/push_messaging/ServiceWorkerRegistrationPush.idl
diff --git a/Source/modules/push_messaging/NavigatorPushManager.idl b/Source/modules/push_messaging/ServiceWorkerRegistrationPush.idl
similarity index 68%
rename from Source/modules/push_messaging/NavigatorPushManager.idl
rename to Source/modules/push_messaging/ServiceWorkerRegistrationPush.idl
index 26db0dddc171d946dab70ea59e2202a465f47803..c1768978e85af5b95dba18667ac3a79af696ede7 100644
--- a/Source/modules/push_messaging/NavigatorPushManager.idl
+++ b/Source/modules/push_messaging/ServiceWorkerRegistrationPush.idl
@@ -4,6 +4,6 @@
 

[Peter Beverloo, 2014/12/08 21:40:51]

nit: add a link to the spec.

[Michael van Ouwerkerk, 2014/12/09 18:47:45]

Done.

 [
     RuntimeEnabled=PushMessaging,
-] partial interface Navigator {
-    readonly attribute PushManager push;
+] partial interface ServiceWorkerRegistration {
+    readonly attribute PushManager pushManager;

[Peter Beverloo, 2014/12/08 21:40:51]

Should we add a TODO here to mention that the specification currently calls this
pushRegistrationManager, but that we're trying to get it changed?

[Michael van Ouwerkerk, 2014/12/09 18:47:45]

Done.

 };