w3c/push-api — pull request #59 by mvano (2014-10-02 13:36:47+00:00)
Title: Clean up events and define relationship to service workers

This relates to issues #33 and #18.

* Define event handlers `onpush` and `onpushregistrationlost` on `ServiceWorkerGlobalScope`
* Define `push` event using interface `PushEvent`
* Define the simple event `pushregistrationlost`