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

martinthomson approved this pull request.



> @@ -365,6 +367,12 @@
           subscription</a>.
         </p>
         <p>
+          A <a>push subscription</a> MAY have an associated <dfn>subscription expiration time</dfn>.
+          When set, it MUST be the time, in milliseconds since 00:00:00 UTC on 1 January 1970,
+          at which the subscription will be <a>deactivated</a>. The <a>user agent</a> SHOULD attempt
+          to <a>refresh</a> to push subscription before the subscription expires.

s/to/the

-- 
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#pullrequestreview-32936947