Account for User-Agent not starting with Mozilla/ in appVersion getter

Also remove some obsolete comments and whitespace in this section.

Fixes #11630.

Author: annevk

source

@@ -120966,47 +120966,44 @@ interface <dfn interface>Navigator</dfn> {
   data-x="dom-navigator-appCodeName">appCodeName</code></dfn> getter steps are to return
   "<code data-x="">Mozilla</code>".</p>
 
-  <!-- appMinorVersion: IE only. In IE8b1, returns " Beta" (with the space) -->
-
   <p>The <dfn attribute for="NavigatorID"><code data-x="dom-navigator-appName">appName</code></dfn>
   getter steps are to return "<code data-x="">Netscape</code>".</p>
 
   <p>The <dfn attribute for="NavigatorID"><code
-  data-x="dom-navigator-appVersion">appVersion</code></dfn> getter steps are to return the
-  appropriate string that starts with "<code data-x="">5.0 (</code>", as
-  follows:</p>
+  data-x="dom-navigator-appVersion">appVersion</code></dfn> getter steps are:</p>
 
   <ol>
-   <li>Let <var>trail</var> be the substring of <span data-x="default-user-agent-value">default
-   `<code>User-Agent</code>` value</span> that follows the "<code data-x="">Mozilla/</code>"
-   prefix.</li>
-   <!-- Fetch doesn't actually require the value to start with "Mozilla/5.0 (". -->
+   <li><p>If the <span data-x="default-user-agent-value">default `<code>User-Agent</code>`
+   value</span> does not start with `<code data-x="">Mozilla/5.0 (</code>`, then return the empty
+   string.</p></li>
 
-   <li>
-    <dl class="switch"> <dt>If the <span data-x="concept-navigator-compatibility-mode">navigator
-    compatibility mode</span> is <i>Chrome</i> or <i>WebKit</i></dt>
-    <dd><p>Return <var>trail</var>.</p></dd>
+   <li><p>Let <var>trail</var> be the substring of the <span
+   data-x="default-user-agent-value">default `<code>User-Agent</code>` value</span>, <span
+   data-x="isomorphic decode">isomorphic decoded</span>, that follows the "<code
+   data-x="">Mozilla/</code>" prefix.</p></li>
 
-    <dt>If the <span data-x="concept-navigator-compatibility-mode">navigator compatibility
-    mode</span> is <i>Gecko</i></dt>
-    <dd>
-     <p>If <var>trail</var> starts with "<code data-x="">5.0 (Windows</code>", then return "<code
-     data-x="">5.0 (Windows)</code>".</p>
+   <li>
+    <dl class="switch">
+     <dt>If the <span data-x="concept-navigator-compatibility-mode">navigator compatibility
+     mode</span> is <i>Chrome</i> or <i>WebKit</i></dt>
+     <dd><p>Return <var>trail</var>.</p></dd>
 
-     <p>Otherwise, return the prefix of <var>trail</var> up to but not including the first U+003B
-     (;), concatenated with the character U+0029 RIGHT PARENTHESIS. For example, "<code
-     data-x="">5.0 (Macintosh)</code>", "<code data-x="">5.0 (Android 10)</code>", or "<code
-     data-x="">5.0 (X11)</code>".</p> <!-- Unclear if Gecko mode returning a shorter string that
-     doesn't contain the whole trail is needed for Web compat. -->
+     <dt>If the <span data-x="concept-navigator-compatibility-mode">navigator compatibility
+     mode</span> is <i>Gecko</i></dt>
+     <dd>
+      <p>If <var>trail</var> starts with "<code data-x="">5.0 (Windows</code>", then return "<code
+      data-x="">5.0 (Windows)</code>".</p>
+
+      <p>Otherwise, return the prefix of <var>trail</var> up to but not including the first U+003B
+      (;), concatenated with the character U+0029 RIGHT PARENTHESIS. For example, "<code
+      data-x="">5.0 (Macintosh)</code>", "<code data-x="">5.0 (Android 10)</code>", or "<code
+      data-x="">5.0 (X11)</code>".</p> <!-- Unclear if Gecko mode returning a shorter string that
+      doesn't contain the whole trail is needed for Web compat. -->
      </dd>
     </dl>
    </li>
   </ol>
 
-  <!-- buildID: Mozilla only -->
-
-  <!-- oscpu: Mozilla only -->
-
   <p>The <dfn attribute for="NavigatorID"><code data-x="dom-navigator-platform">platform</code></dfn>
   getter steps are to return a string representing the platform on which the
   browser is executing (e.g. "<code data-x="">MacIntel</code>", "<code data-x="">Win32</code>",
@@ -121021,7 +121018,6 @@ interface <dfn interface>Navigator</dfn> {
   getter steps are to return the appropriate string from the following list:</p>
 
    <dl class="switch">
-
      <dt>If the <span data-x="concept-navigator-compatibility-mode">navigator compatibility
      mode</span> is <i>Chrome</i> or <i>WebKit</i></dt>
      <dd><p>The string "<code data-x="">20030107</code>".</p></dd>
@@ -121031,8 +121027,6 @@ interface <dfn interface>Navigator</dfn> {
      <dd><p>The string "<code data-x="">20100101</code>".</p></dd>
    </dl>
 
-  <!-- securityPolicy: Mozilla only; always returns "" -->
-
   <p>The <dfn attribute for="NavigatorID"><code data-x="dom-navigator-userAgent">userAgent</code></dfn>
   getter steps are to return the <span data-x="default-user-agent-value">default `<code>User-Agent</code>`
   value</span>.</p>
@@ -121041,7 +121035,6 @@ interface <dfn interface>Navigator</dfn> {
   getter steps are to return the appropriate string from the following list:</p>
 
    <dl class="switch">
-
      <dt>If the <span data-x="concept-navigator-compatibility-mode">navigator compatibility
      mode</span> is <i>Chrome</i></dt>
      <dd><p>The string "<code data-x="">Google Inc.</code>".</p></dd>
@@ -121113,7 +121106,6 @@ interface <dfn interface>Navigator</dfn> {
 
   <div w-nodev>
 
-  <!-- at time of testing, this was supported by Opera, Safari, and Mozilla only -->
   <p>The <dfn attribute for="NavigatorLanguage"><code
   data-x="dom-navigator-language">language</code></dfn> getter steps are to return a valid BCP 47
   language tag representing either <span>a plausible language</span> or the user's most preferred