From 57acfff1b1805b0e99361751e02e1fdb19fc05d4 Mon Sep 17 00:00:00 2001
From: Alex Rudenko <alexrudenko@chromium.org>
Date: Mon, 27 Nov 2023 17:15:45 +0100
Subject: [PATCH] fix types

	# Please enter the commit message for your changes. Lines starting
	# with '#' will be ignored, and an empty message aborts the commit.
	#
	# Date:      Mon Nov 27 17:15:45 2023 +0100
	#
	# On branch orkon/partitions
	# Your branch is up to date with 'origin/orkon/partitions'.
	#
	# Changes to be committed:
	#	modified:   index.bs
	#
---
 index.bs | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/index.bs b/index.bs
index 5a760d331..6392928b0 100644
--- a/index.bs
+++ b/index.bs
@@ -1231,10 +1231,10 @@ Issue: Define how this works.
 
 # User Contexts # {#user-contexts}
 
-A <dfn>user context</dfn> represents a collection of top-level navigables within a 
+A <dfn>user context</dfn> represents a collection of top-level navigables within a
 [=remote end=]. Each top-level navigable belongs to exactly one user context, and child
 navigables belong to the same user context as their parent. A [=user context=] without
-navigables belonging to it is an <dfn>empty user context</dfn>. 
+navigables belonging to it is an <dfn>empty user context</dfn>.
 
 A [=remote end=] always contains one [=user context=] referred as the <dfn>default user
 context</dfn>.
@@ -1244,7 +1244,7 @@ state is shared between different user contexts.
 
 User contexts other than the [=default user context=] have a <dfn>user context
 id</dfn>, which is a string set upon context creation. The [=default user
-context=]'s does not have a [=user context id=]. 
+context=]'s does not have a [=user context id=].
 
 Note: the infra spec uses the term "user agent" to refer to the same concept as
 user contexts. However this is not compatible with usage of the term "user
@@ -1827,9 +1827,9 @@ managing the remote end browser process.
 <pre class="cddl remote-cddl">
 BrowserCommand = (
   browser.Close,
-  browser.createUserContext,
-  browser.closeUserContext,
-  browser.getUserContexts,
+  browser.CreateUserContext,
+  browser.CloseUserContext,
+  browser.GetUserContexts,
 )
 </pre>
 
@@ -2926,7 +2926,7 @@ The [=remote end steps=] with |command parameters| are:
      reason then return [=error=] with [=error code=] [=unsupported operation=].
 
   1. Let |user context| be the [=default user context=].
-  
+
   1. If |command parameters|[<code>userContext</code>] is present and is not null:
 
     1. Let |user context id| be |command parameters|[<code>userContext</code>].
@@ -2934,7 +2934,7 @@ The [=remote end steps=] with |command parameters| are:
     1. If the [=user context=] with the [=user context id=] equal to |user context id| does
       not exist in the user agent, return [=error=] with [=error code=] [=invalid argument=].
 
-    1. Set |user context| to the [=user context=] with the [=user context id=] equal 
+    1. Set |user context| to the [=user context=] with the [=user context id=] equal
       to |user context id|.
 
   <!-- This is based on step 5 of https://w3c.github.io/webdriver/#new-window,