Editorial: correct userNavigationInvolvement -> userInvolvement

This was missed in #10818.
whatwg · Jan 7, 2025 · d1c086a · d1c086a
1 parent 420093b
commit d1c086a
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/source b/source
@@ -103348,9 +103348,8 @@ location.href = '#foo';</code></pre>
        <li><p><span>Assert</span>: <var>navigationType</var> is not null.</p></li>
 
        <li><p><span data-x="deactivate a document for a cross-document navigation">Deactivate</span>
-       <var>displayedDocument</var>, given <var>userNavigationInvolvement</var>,
-       <var>targetEntry</var>, <var>navigationType</var>, and
-       <var>afterPotentialUnloads</var>.</p></li>
+       <var>displayedDocument</var>, given <var>userInvolvement</var>, <var>targetEntry</var>,
+       <var>navigationType</var>, and <var>afterPotentialUnloads</var>.</p></li>
       </ol>
      </li>