Push API: rename to endpoint and registrationId. [2/3]

Source/modules/push_messaging/PushRegistration.idl

Index: Source/modules/push_messaging/PushRegistration.idl
diff --git a/Source/modules/push_messaging/PushRegistration.idl b/Source/modules/push_messaging/PushRegistration.idl
index 3aee6b856fb04ba9dba8741f375be12526736312..243215d9fc20fb200d414d64097ca52d7a21f3df 100644
--- a/Source/modules/push_messaging/PushRegistration.idl
+++ b/Source/modules/push_messaging/PushRegistration.idl
@@ -2,11 +2,13 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
+// http://www.w3.org/TR/push-api/#pushregistration-interface
+
 [
     GarbageCollected,
     RuntimeEnabled=PushMessaging,
 ] interface PushRegistration {
-    readonly attribute DOMString pushEndpoint;
-    readonly attribute DOMString pushRegistrationId;
+    readonly attribute DOMString endpoint;
+    readonly attribute DOMString registrationId;
     [CallWith=ScriptState] Promise<boolean> unregister();
 };