search

w3c / push-api

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

"handle functional event" no longer a thing #315

Closed marcoscaceres closed 4 years ago

marcoscaceres commented 5 years ago

The spec previously linked to the Service Worker's concept of "handle functional event"... however, that was removed from the Service Worker spec at some point.

@jakearchibald, could you provide us with some guidance on what we should link to now, or the right prose to use (if any)?

jakearchibald commented 4 years ago

Looks like this was broken in https://github.com/w3c/push-api/commit/31c671787201907d5db36e915071e3aba5508488. The correct wording was the previous wording, "Fire Functional Event".

https://w3c.github.io/ServiceWorker/#fire-functional-event-algorithm