Re: [push-api] Add a PushSubscriptionOptions dictionary with a userVisible option. (#131)

>          </dt>
>          <dt>
>            Promise&lt;PushSubscription?&gt; getSubscription ()
>          </dt>
>          <dt>
> -          Promise&lt;PushPermissionStatus&gt; hasPermission ()
> +          Promise&lt;PushPermissionStatus&gt; hasPermission (optional PushSubscriptionOptions options)

It's perfectly fine to subscribe to push without any options (to get what we call "silent push").

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