Explicitly define type for userActivation (#503)

SHA: 2d97074
Reason: push, by OrKoN

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

index.html

@@ -7,7 +7,7 @@
   <link href="https://www.w3.org/StyleSheets/TR/2021/W3C-ED" rel="stylesheet">
   <meta content="Bikeshed version d29f71adb, updated Wed Jul 19 11:08:56 2023 -0700" name="generator">
   <link href="https://w3c.github.io/webdriver-bidi/" rel="canonical">
-  <meta content="3eb2ec7f7869b2faf6c7080e97be93bf75ea535b" name="document-revision">
+  <meta content="2d97074fcbff3d023a56fbda6525346e6822c7c2" name="document-revision">
 <style>
 var {
   color: #cd5c5c
@@ -6062,7 +6062,7 @@ <h5 class="heading settled" data-level="6.5.4.3" id="command-script-callFunction
   ? resultOwnership: script.ResultOwnership,
   ? serializationOptions: script.SerializationOptions,
   ? this: script.LocalValue,
-  ? userActivation .default false,
+  ? userActivation: bool .default false,
 }
 </pre>
     <dt>Result Type
@@ -6215,7 +6215,7 @@ <h5 class="heading settled" data-level="6.5.4.4" id="command-script-evaluate"><s
   awaitPromise: bool,
   ? resultOwnership: script.ResultOwnership,
   ? serializationOptions: script.SerializationOptions,
-  ? userActivation .default false,
+  ? userActivation: bool .default false,
 }
 </pre>
     <dt>Result Type