From b1916b3e3650810a935aea97f543b8192b7246fb Mon Sep 17 00:00:00 2001
From: zcorpan <zcorpan@gmail.com>
Date: Tue, 28 Jan 2025 17:20:19 +0100
Subject: [PATCH 1/2] Fire a load event for javascript: URL non-strings

Fixes #1895.
---
 source | 27 +++++++++++++++++++--------
 1 file changed, 19 insertions(+), 8 deletions(-)

diff --git a/source b/source
index 864a982e0de..e4f94efefb9 100644
--- a/source
+++ b/source
@@ -33620,8 +33620,9 @@ interface <dfn interface>HTMLIFrameElement</dfn> : <span>HTMLElement</span> {
    <li><p><span>Navigate</span><!--DONAV iframe or frame--> <var>element</var>'s <span>content
    navigable</span> to <var>url</var> using <var>element</var>'s <span>node document</span>, with
    <i data-x="navigation-hh">historyHandling</i> set to <var>historyHandling</var>, <i
-   data-x="navigation-referrer-policy">referrerPolicy</i> set to <var>referrerPolicy</var>, and <i
-   data-x="navigation-resource">documentResource</i> set to <var>srcdocString</var>.</p></li>
+   data-x="navigation-referrer-policy">referrerPolicy</i> set to <var>referrerPolicy</var>, <i
+   data-x="navigation-resource">documentResource</i> set to <var>srcdocString</var>, and <i
+   data-x="navigation-javascript-url-load-event">javascriptURLLoadEvent</i> set to true.</p></li>
   </ol>
 
   <p>Each <code>Document</code> has an <dfn>iframe load in progress</dfn> flag and a <dfn>mute
@@ -100390,8 +100391,10 @@ location.href = '#foo';</code></pre>
   policy</span> <dfn data-x="navigation-referrer-policy"><var>referrerPolicy</var></dfn> (default
   the empty string), an optional <span>user navigation involvement</span> <dfn
   data-x="navigation-user-involvement"><var>userInvolvement</var></dfn> (default "<code
-  data-x="uni-none">none</code>"), and an optional <code>Element</code> <dfn
-  data-x="navigation-source-element"><var>sourceElement</var></dfn> (default null):</p>
+  data-x="uni-none">none</code>"), an optional <code>Element</code> <dfn
+  data-x="navigation-source-element"><var>sourceElement</var></dfn> (default null), and an
+  optional boolean <dfn for="navigate"
+  data-x="navigation-javascript-url-load-event">javascriptURLLoadEvent</dfn> (default false):</p>
 
   <ol>
    <li><p>Let <var>cspNavigationType</var> be "<code data-x="">form-submission</code>" if
@@ -100567,7 +100570,8 @@ location.href = '#foo';</code></pre>
      source</span> given <var>navigable</var>'s <span data-x="nav-window">active window</span> to
      <span>navigate to a <code>javascript:</code> URL</span> given <var>navigable</var>,
      <var>url</var>, <var>historyHandling</var>, <var>initiatorOriginSnapshot</var>,
-     <var>userInvolvement</var>, and <var>cspNavigationType</var>.</p></li>
+     <var>userInvolvement</var>, <var>cspNavigationType</var>, and
+     <var>javascriptURLLoadEvent</var>.</p></li>
 
      <li><p>Return.</p></li>
     </ol>
@@ -100942,8 +100946,8 @@ location.href = '#foo';</code></pre>
   <p>To <dfn>navigate to a <code>javascript:</code> URL</dfn>, given a <span>navigable</span>
   <var>targetNavigable</var>, a <span>URL</span> <var>url</var>, a <span>history handling
   behavior</span> <var>historyHandling</var>, an <span>origin</span> <var>initiatorOrigin</var>, a
-  <span>user navigation involvement</span> <var>userInvolvement</var>, and a string
-  <var>cspNavigationType</var>:</p>
+  <span>user navigation involvement</span> <var>userInvolvement</var>, a string
+  <var>cspNavigationType</var>, and a boolean <var>loadEvent</var>:</p>
 
   <ol>
    <li><p><span>Assert</span>: <var>historyHandling</var> is "<code
@@ -100972,7 +100976,14 @@ location.href = '#foo';</code></pre>
    <var>url</var>, <var>initiatorOrigin</var>, and <var>userInvolvement</var>.</p></li>
 
    <li>
-    <p>If <var>newDocument</var> is null, then return.</p>
+    <p>If <var>newDocument</var> is null, then:</p>
+
+    <ol>
+     <li><p>If <var>loadEvent</var> is true, then run the <span>iframe load event steps</span>
+     given <var>targetNavigable</var>'s <span data-x="nav-container">container</span>.</p></li>
+
+     <li><p>Return.</p></li>
+    </ol>
 
     <p class="note">In this case, some JavaScript code was executed, but no new
     <code>Document</code> was created, so we will not perform a navigation.</p>

From cc020206d5dda602c9a17ba4dca8419f99e9ec51 Mon Sep 17 00:00:00 2001
From: zcorpan <zcorpan@gmail.com>
Date: Tue, 4 Feb 2025 14:47:43 +0100
Subject: [PATCH 2/2] Use <dfn><var>

---
 source | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/source b/source
index e4f94efefb9..be5eac3588a 100644
--- a/source
+++ b/source
@@ -100394,7 +100394,8 @@ location.href = '#foo';</code></pre>
   data-x="uni-none">none</code>"), an optional <code>Element</code> <dfn
   data-x="navigation-source-element"><var>sourceElement</var></dfn> (default null), and an
   optional boolean <dfn for="navigate"
-  data-x="navigation-javascript-url-load-event">javascriptURLLoadEvent</dfn> (default false):</p>
+  data-x="navigation-javascript-url-load-event"><var>javascriptURLLoadEvent</var></dfn> (default
+  false):</p>
 
   <ol>
    <li><p>Let <var>cspNavigationType</var> be "<code data-x="">form-submission</code>" if