From 44adeaf8bef0cdf5a239bff7ec9bb56ff60c4bf6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20J=C3=A4genstedt?= <philip@foolip.org>
Date: Wed, 12 Mar 2025 10:28:09 +0100
Subject: [PATCH] Editorial: use empty <span> for old ID

This is the style used in many other places to keep old IDs working.

Doing this consistently will make it easier to detect this pattern and
transform it to oldids="" for Bikeshed, and makes it clear in the source
that the <span> isn't creating a link, as they usually do.
---
 source | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source b/source
index 4dfeb00813c..30c89d31770 100644
--- a/source
+++ b/source
@@ -117822,7 +117822,7 @@ interface <dfn interface>Navigator</dfn> {
   </div>
 
 
-  <h5 id="navigator.online"><span id="browser-state">Browser state</span></h5>
+  <h5 id="navigator.online"><span id="browser-state"></span>Browser state</h5>
 
   <pre><code class="idl">interface mixin <dfn interface>NavigatorOnLine</dfn> {
   readonly attribute boolean <span data-x="dom-navigator-onLine">onLine</span>;