From ec37544b7bd997b93e56cb230a570e34419c8aed Mon Sep 17 00:00:00 2001
From: Anne van Kesteren <annevk@annevk.nl>
Date: Thu, 25 Sep 2025 07:28:07 +0200
Subject: [PATCH] Refresh to a javascript: URL should not work

Fixes #11699.
---
 source | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/source b/source
index e08cc11ae40..1a570adfbfc 100644
--- a/source
+++ b/source
@@ -17674,6 +17674,9 @@ people expect to have work and what is necessary.
        URL</span> given <var>urlString</var>, relative to <var>document</var>.</p></li>
 
        <li><p>If <var>urlRecord</var> is failure, then return.</p></li>
+
+       <li><p>If <var>urlRecord</var>'s <span data-x="concept-url-scheme">scheme</span> is "<code
+       data-x="javascript protocol">javascript</code>", then return.</p></li>
       </ol>
      </li>