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)

Out of curiosity, why is that optional?

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