w3c/push-api — pull request #13 by efullea (2014-08-13 10:55:08+00:00)
Title: Push manager. Fixes issue #2

Changes:
-Move pushRegistrationManager to ServiceWorkerRegistration (Fixes issue #2)
-PushManager --> PushRegistrationManager
-Adding PushRegistrationManager.hasPermission