From 5962f210d8bb9a279aee34aa0411d164987c0e7c Mon Sep 17 00:00:00 2001
From: Sam Atkins <atkinssj@gmail.com>
Date: Tue, 7 Jan 2025 14:38:08 +0000
Subject: [PATCH] Editorial: Correct userNavigationInvolvement ->
 userInvolvement

This was missed in #10818.
---
 source | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/source b/source
index 5eeed7af23a..fe547662c0c 100644
--- 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>