[push] Consider renaming "push notification" to "push message" in the Push API spec from Jeffrey Yasskin on 2014-03-10 (public-webapps@w3.org from January to March 2014)

From: Jeffrey Yasskin <jyasskin@google.com>
Date: Mon, 10 Mar 2014 11:14:27 -0700
To: public-webapps@w3.org
Message-ID: <CANh-dXmmkEoZgPH0uuDOHsp62v2XVXJsCme699+C5k0isi1HhQ@mail.gmail.com>

The term "push notification" in
https://dvcs.w3.org/hg/push/raw-file/tip/index.html#dfn-push-notification
seems to confuse people into thinking that the user will be
notified/bothered when such a message arrives. This is reinforced by
the fact that iOS uses "push notification" for exactly that: a way to
notify the user based on a message from a server. See
https://developer.apple.com/library/ios/documentation/NetworkingInternet/Conceptual/RemoteNotificationsPG/Chapters/WhatAreRemoteNotif.html.

Since the spec already uses the name "PushMessage" for the thing
delivered by a push notification
(https://dvcs.w3.org/hg/push/raw-file/tip/index.html#pushmessage-interface),
it seems like "push message" would be a good replacement for the
current ambiguous name.

Thanks,
Jeffrey Yasskin

P.S. I'm not subscribed to public-webapps@, so please cc me if you
want me to reply.

Received on Monday, 10 March 2014 22:22:36 UTC