Meta: export convert an Infra value to a (JSON) JavaScript value

Also known as convert an Infra value to a JSON-compatible JavaScript value, but that exceeded 72 characters.
whatwg · Nov 6, 2024 · 4db814c · 4db814c
1 parent 9188baa
commit 4db814c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/infra.bs b/infra.bs
@@ -1992,7 +1992,8 @@ given a <a>string</a>, <a>boolean</a>, number, null, <a>list</a>, or <a>string</
  <li><p>Return the result of running <a>UTF-8 encode</a> on |string|. [[!ENCODING]]
 </ol>
 
-<p>To <dfn lt="convert an Infra value to a JSON-compatible JavaScript value|converting an Infra value to a JSON-compatible JavaScript value">convert an Infra value to a JSON-compatible JavaScript value</dfn>,
+<p>To
+<dfn export lt="convert an Infra value to a JSON-compatible JavaScript value|converting an Infra value to a JSON-compatible JavaScript value">convert an Infra value to a JSON-compatible JavaScript value</dfn>,
 given |value|:
 
 <ol>