NOtherDev / whatwebcando

An overview of the device integration HTML5 APIs
https://whatwebcando.today/
MIT License
836 stars 61 forks source link

Rename “push notifications“ to “push messages” #15

Closed simevidas closed 8 years ago

simevidas commented 8 years ago

The correct term is “push message” (see spec). Since web notifications and push messages are two very different concepts (although tightly coupled), in order to avoid confusion it would be good to avoid the term “push notification”.

NOtherDev commented 8 years ago

Done. Thanks!