[push-api] Rename PushRegistrationManager to PushManager. (#99)

issue #47 
You can merge this Pull Request by running:

  git pull https://github.com/mvano/push-api PushManager

Or you can view, comment on it, or merge it online at:

  https://github.com/w3c/push-api/pull/99

-- Commit Summary --

  * Rename PushRegistrationManager to PushManager.

-- File Changes --

    M index.html (25)

-- Patch Links --

https://github.com/w3c/push-api/pull/99.patch
https://github.com/w3c/push-api/pull/99.diff

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/99