w3c/push-api — pull request #20 by mvano (2014-08-27 15:23:36+00:00)
Title: Clean up the JavaScript example

This brings the example much closer to current discussions. This does not yet take into account the idea of moving pushRegistrationManager to ServiceWorkerRegistration as I think Peter had some questions about that.