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

This might be useful, do you have a concrete use case in mind? Note also the `pushsubscriptionchange` event which may be used to indicate to the webapp when to refresh the subscription. I'm concerned this might overlap.

Note that, if exposed, this should most likely be made consistent with issue #81 (Consider exposing meta-information on push message)

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