[whatwg/dom] Export terms needed for ServiceWorker/1671 (PR #1170)

This exports the terms needed for https://github.com/w3c/ServiceWorker/pull/1672 (now https://github.com/w3c/ServiceWorker/pull/1674).

However, this includes exporting a term that was marked "Intentionally not exported". Soooooo, what now @annevk? 😄

We need to be able to look at the listeners to determine they're all no-op. I could add an algorithm to the DOM spec that gets the listeners of type "fetch" for a given service worker global. That would avoid exporting the whole concept.
You can view, comment on, or merge this pull request online at:

  https://github.com/whatwg/dom/pull/1170

-- Commit Summary --

  * Export terms needed for ServiceWorker/1671

-- File Changes --

    M dom.bs (10)

-- Patch Links --

https://github.com/whatwg/dom/pull/1170.patch
https://github.com/whatwg/dom/pull/1170.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/pull/1170
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/dom/pull/1170@github.com>

Received on Monday, 20 March 2023 10:09:00 UTC