Better CDDL for session.SubscriptionRequest (#679)

Lightning00Blade · OrKoN · commit 1fa280395865 · 2024-03-19T11:52:40.000+01:00
diff --git a/index.bs b/index.bs
@@ -1651,8 +1651,8 @@ session.SystemProxyConfiguration = (
 
 <pre class="cddl remote-cddl">
 session.SubscriptionRequest = {
-  events: [*text],
-  ? contexts: [*browsingContext.BrowsingContext],
+  events: [+text],
+  ? contexts: [+browsingContext.BrowsingContext],
 }
 </pre>
 

Original file line number	Diff line number	Diff line change
`@@ -1651,8 +1651,8 @@ session.SystemProxyConfiguration = (`
`1651`	`1651`
`1652`	`1652`	`<pre class="cddl remote-cddl">`
`1653`	`1653`	`session.SubscriptionRequest = {`
`1654`		`- events: [*text],`
`1655`		`- ? contexts: [*browsingContext.BrowsingContext],`
	`1654`	`+ events: [+text],`
	`1655`	`+ ? contexts: [+browsingContext.BrowsingContext],`
`1656`	`1656`	`}`
`1657`	`1657`	`</pre>`
`1658`	`1658`