- From: Marcos Cáceres <notifications@github.com>
- Date: Wed, 01 Jun 2022 22:19:14 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 2 June 2022 05:19:26 UTC
@marcoscaceres commented on this pull request.
> @@ -195,13 +195,16 @@ <h2>
subscription</a> having the new keys as |newSubscription|.
</p>
<p>
- To <dfn>create a push subscription</dfn>, given an <a>PushSubscriptionOptions</a> object
- of |options|, the <a>user agent</a> must run the following steps:
+ To <dfn>create a push subscription</dfn>, given an {{PushSubscriptionOptionsInit}}
+ |optionsDictionary|:
```suggestion
|optionsDictionary:PushSubscriptionOptionsInit|:
```
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/350#pullrequestreview-993003629
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/push-api/pull/350/review/993003629@github.com>
Received on Thursday, 2 June 2022 05:19:26 UTC