Re: [w3c/push-api] "handle functional event" no longer a thing (#315)

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

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/315#issuecomment-533007400