Re: [webidl] Need an error for "User refused permission" (#95)

The Push API defines a `PermissionDeniedError` that'd we also like to use in background sync. Could we perhaps adopt that one in WebIDL?

https://w3c.github.io/push-api/#dfn-permissiondeniederror

/cc @nicolassatragno @jkarlin

---
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/95#issuecomment-192553183