search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Restructure the `push` event #237

Closed beverloo closed 7 years ago

beverloo commented 7 years ago

This PR separates out the definition of the push event from the PushEvent interface and the action to take when receiving a message.

There's two changes that I'll point out specifically, the rest is moving things around.