Re: [push-api] Rename hasPermission (#136)

Reading all of those example tell me that a `PrivilegedAPI` (or similar) interface is needed and any API that needs a permission should inherit from it. This ensures consistency.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/136#issuecomment-94024200

Received on Friday, 17 April 2015 16:43:28 UTC