From 91ae2333fef8fd5888dfb7c6a6161c7c9a8ca14b Mon Sep 17 00:00:00 2001
From: Florian Scholz <fs@florianscholz.com>
Date: Thu, 6 Mar 2025 17:34:21 +0100
Subject: [PATCH] Add FetchLater API

---
 custom/idl/fetch.idl | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 custom/idl/fetch.idl

diff --git a/custom/idl/fetch.idl b/custom/idl/fetch.idl
new file mode 100644
index 000000000..7cc22b7ed
--- /dev/null
+++ b/custom/idl/fetch.idl
@@ -0,0 +1,14 @@
+// Remove when https://github.com/whatwg/fetch/pull/1647 is merged
+
+ dictionary DeferredRequestInit : RequestInit {
+   DOMHighResTimeStamp activateAfter;
+ };
+
+ [Exposed=Window]
+ interface FetchLaterResult {
+   readonly attribute boolean activated;
+ };
+
+ partial interface Window {
+   [NewObject] FetchLaterResult fetchLater(RequestInfo input, optional DeferredRequestInit init = {});
+ };