- From: Peter Beverloo <notifications@github.com>
- Date: Thu, 22 Jun 2017 09:23:55 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 22 June 2017 16:24:48 UTC
beverloo commented on this pull request. > </ol> + + <p> + A <dfn>PushSubscriptionJSON</dfn> dictionary represents the <a>JSON type</a> of a + <a>PushSubscription</a> that can be converted into a JSON string. + </p> + <p> + The <dfn data-dfn-for="PushSubscriptionJSON">endpoint</dfn> contains the serialized value of + the <a data-link-for="PushSubscription">endpoint</a> attribute. + </p> + <p> + The <dfn data-dfn-for="PushSubscriptionJSON">expirationTime</dfn> contains the serialized + value of the <a data-link-for="PushSubscription">expirationTime</a> attribute. + </p> + <p> + The <dfn data-dfn-for="PushSubscriptionJSON">keys</dfn> contains a mapping from each Also done. We don't depend on the infra spec yet so migrating to that would be a follow-up. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/267#discussion_r123558150
Received on Thursday, 22 June 2017 16:24:48 UTC