[w3c/push-api] Add PushSubscription.expirationTime (#248)

The expiration time of a push subscription indicates the time, in
milliseconds since the UNIX epoch (UTC), at which the subscription will
be deactivated.

This is an important addition for user agents that refresh their
subscriptions, as it gives the developer knowledge of a final time after
which they can garbage collect the stored subscriptions if the user has
not communicated the details of the refreshed subscription.

Fixes #86
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/push-api/pull/248

-- Commit Summary --

  * Add PushSubscription.expirationTime

-- File Changes --

    M index.html (36)

-- Patch Links --

https://github.com/w3c/push-api/pull/248.patch
https://github.com/w3c/push-api/pull/248.diff

-- 
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/248