- From: Jake Archibald <notifications@github.com>
- Date: Mon, 20 Mar 2023 03:08:48 -0700
- To: whatwg/dom <dom@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 20 March 2023 10:09:00 UTC
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