[push-api] Rename pushsubscriptionlost to pushsubscriptionchange. (#105)

Issue #82 
You can merge this Pull Request by running:

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

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

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

-- Commit Summary --

  * Rename pushsubscriptionlost to pushsubscriptionchange.

-- File Changes --

    M index.html (10)

-- Patch Links --

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

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