Re: [push-api] PushSubscription should have an attribute for ExpirationTime (#86)

It seems there are a few assumptions here already - for example, the user agent received the "expiration" message already so can fire the event at a later time.  
Another one is that the user agent can select a time to refresh the subscription and will know whether a subscription refresh failed or not - basically also assuming the webapp will always refresh the subscription?

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/86#issuecomment-70541848