Commits on Apr 18, 2017

1. Add PushSubscription.expirationTime …

   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 w3c#86

   

   beverloo committed Apr 18, 2017
   Configuration menu

   • View commit details
   • Copy full SHA for d256f28
   • Browse repository at this point

   Copy the full SHA

   d256f28 View commit details

   Browse the repository at this point in the history