From 25084b6bf308225a06d95835858af17b20d97eda Mon Sep 17 00:00:00 2001
From: Randolf Jung <jrandolf@chromium.org>
Date: Fri, 5 Jan 2024 15:36:38 +0100
Subject: [PATCH] Remove unused value for `webSocketUrl`

---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index 5f2dd58c..10442191 100644
--- 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
         }
       }