search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Change PushSubscriptionChangeInit to PushSubscriptionChangeEventInit. #312

Closed rayankans closed 5 years ago

rayankans commented 5 years ago

This naming scheme is more consistent with other specs.

Preview | Diff

marcoscaceres commented 5 years ago

Marked as non substantive for IPR from ash-nazg.