Update of ED report from new reffy run

reffy-bot · reffy-bot · commit 2e307e99d450 · 2025-08-08T12:50:11.000Z
Using reffy commit 19.1.7.
diff --git a/ed/cddl/webdriver-bidi-all.cddl b/ed/cddl/webdriver-bidi-all.cddl
@@ -1241,7 +1241,7 @@ network.SetExtraHeaders = (
 )
 
 network.SetExtraHeadersParameters = {
-  headers: [+network.Header]
+  headers: [*network.Header]
   ? contexts: [+browsingContext.BrowsingContext]
   ? userContexts: [+browser.UserContext]
 }
@@ -3047,7 +3047,7 @@ network.SetExtraHeaders = (
 )
 
 network.SetExtraHeadersParameters = {
-  headers: [+network.Header]
+  headers: [*network.Header]
   ? contexts: [+browsingContext.BrowsingContext]
   ? userContexts: [+browser.UserContext]
 }
diff --git a/ed/cddl/webdriver-bidi-local-cddl.cddl b/ed/cddl/webdriver-bidi-local-cddl.cddl
@@ -2025,7 +2025,7 @@ network.SetExtraHeaders = (
 )
 
 network.SetExtraHeadersParameters = {
-  headers: [+network.Header]
+  headers: [*network.Header]
   ? contexts: [+browsingContext.BrowsingContext]
   ? userContexts: [+browser.UserContext]
 }
diff --git a/ed/cddl/webdriver-bidi-remote-cddl.cddl b/ed/cddl/webdriver-bidi-remote-cddl.cddl
@@ -828,7 +828,7 @@ network.SetExtraHeaders = (
 )
 
 network.SetExtraHeadersParameters = {
-  headers: [+network.Header]
+  headers: [*network.Header]
   ? contexts: [+browsingContext.BrowsingContext]
   ? userContexts: [+browser.UserContext]
 }
@@ -2402,7 +2402,7 @@ network.SetExtraHeaders = (
 )
 
 network.SetExtraHeadersParameters = {
-  headers: [+network.Header]
+  headers: [*network.Header]
   ? contexts: [+browsingContext.BrowsingContext]
   ? userContexts: [+browser.UserContext]
 }
diff --git a/ed/index.json b/ed/index.json
@@ -1,7 +1,7 @@
 {
   "type": "crawl",
   "title": "Reffy crawl",
-  "date": "2025-08-08T06:48:55.387Z",
+  "date": "2025-08-08T12:50:01.419Z",
   "options": {
     "fallback": "ed/index.json",
     "output": "report",
@@ -32870,11 +32870,11 @@
       ],
       "crawled": "https://w3c.github.io/ppa/",
       "crawlCacheInfo": {
-        "lastModified": "Thu, 07 Aug 2025 21:25:34 GMT"
+        "lastModified": "Fri, 08 Aug 2025 12:19:36 GMT"
       },
       "generator": "bikeshed",
-      "date": "7 August 2025",
-      "revision": "f07f6c959319a72c7f209d3a915a0b1cd70b7342",
+      "date": "8 August 2025",
+      "revision": "12c99955ad824ddc23d74c84869086a52f14eeb8",
       "algorithms": "algorithms/privacy-preserving-attribution.json",
       "links": "links/privacy-preserving-attribution.json",
       "refs": "refs/privacy-preserving-attribution.json",
@@ -39534,11 +39534,11 @@
       ],
       "crawled": "https://w3c.github.io/webdriver-bidi/",
       "crawlCacheInfo": {
-        "lastModified": "Tue, 05 Aug 2025 12:51:31 GMT"
+        "lastModified": "Fri, 08 Aug 2025 10:39:16 GMT"
       },
       "generator": "bikeshed",
-      "date": "5 August 2025",
-      "revision": "8c95812640625a52a47e1e0803b1bd20d9293d87",
+      "date": "8 August 2025",
+      "revision": "62b1f4503ec2c8f24a5e7b41dd0a106ff4951076",
       "algorithms": "algorithms/webdriver-bidi.json",
       "links": "links/webdriver-bidi.json",
       "refs": "refs/webdriver-bidi.json",

Original file line number	Diff line number	Diff line change
`@@ -1241,7 +1241,7 @@ network.SetExtraHeaders = (`
`1241`	`1241`	`)`
`1242`	`1242`
`1243`	`1243`	`network.SetExtraHeadersParameters = {`
`1244`		`- headers: [+network.Header]`
	`1244`	`+ headers: [*network.Header]`
`1245`	`1245`	`? contexts: [+browsingContext.BrowsingContext]`
`1246`	`1246`	`? userContexts: [+browser.UserContext]`
`1247`	`1247`	`}`
`@@ -3047,7 +3047,7 @@ network.SetExtraHeaders = (`
`3047`	`3047`	`)`
`3048`	`3048`
`3049`	`3049`	`network.SetExtraHeadersParameters = {`
`3050`		`- headers: [+network.Header]`
	`3050`	`+ headers: [*network.Header]`
`3051`	`3051`	`? contexts: [+browsingContext.BrowsingContext]`
`3052`	`3052`	`? userContexts: [+browser.UserContext]`
`3053`	`3053`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2025,7 +2025,7 @@ network.SetExtraHeaders = (`
`2025`	`2025`	`)`
`2026`	`2026`
`2027`	`2027`	`network.SetExtraHeadersParameters = {`
`2028`		`- headers: [+network.Header]`
	`2028`	`+ headers: [*network.Header]`
`2029`	`2029`	`? contexts: [+browsingContext.BrowsingContext]`
`2030`	`2030`	`? userContexts: [+browser.UserContext]`
`2031`	`2031`	`}`
Original file line number	Diff line number	Diff line change
`@@ -828,7 +828,7 @@ network.SetExtraHeaders = (`
`828`	`828`	`)`
`829`	`829`
`830`	`830`	`network.SetExtraHeadersParameters = {`
`831`		`- headers: [+network.Header]`
	`831`	`+ headers: [*network.Header]`
`832`	`832`	`? contexts: [+browsingContext.BrowsingContext]`
`833`	`833`	`? userContexts: [+browser.UserContext]`
`834`	`834`	`}`
`@@ -2402,7 +2402,7 @@ network.SetExtraHeaders = (`
`2402`	`2402`	`)`
`2403`	`2403`
`2404`	`2404`	`network.SetExtraHeadersParameters = {`
`2405`		`- headers: [+network.Header]`
	`2405`	`+ headers: [*network.Header]`
`2406`	`2406`	`? contexts: [+browsingContext.BrowsingContext]`
`2407`	`2407`	`? userContexts: [+browser.UserContext]`
`2408`	`2408`	`}`