Remove unused value for webSocketUrl

jrandolf-2 · jgraham · commit 25084b6bf308 · 2024-01-05T14:51:52.000Z
diff --git a/index.bs b/index.bs
@@ -1601,7 +1601,7 @@ This is a [=static command=].
           platformName: text,
           setWindowRect: bool,
           ? proxy: session.ProxyConfiguration,
-          ? webSocketUrl: text / true,
+          ? webSocketUrl: text,
           Extensible
         }
       }

Original file line number	Diff line number	Diff line change
`@@ -1601,7 +1601,7 @@ This is a [=static command=].`
`1601`	`1601`	`platformName: text,`
`1602`	`1602`	`setWindowRect: bool,`
`1603`	`1603`	`? proxy: session.ProxyConfiguration,`
`1604`		`- ? webSocketUrl: text / true,`
	`1604`	`+ ? webSocketUrl: text,`
`1605`	`1605`	`Extensible`
`1606`	`1606`	`}`
`1607`	`1607`	`}`