[push-api] Rename userVisible to userVisibleOnly (#138)

This closes Issue #137.
You can view, comment on, or merge this pull request online at:

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

-- Commit Summary --

  * Rename userVisible to userVisibleOnly

-- File Changes --

    M index.html (10)

-- Patch Links --

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

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