CI nits

whatwg · Dec 17, 2024 · 566fd64 · 566fd64
1 parent 9aecb05
commit 566fd64
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/source b/source
@@ -72593,8 +72593,8 @@ document.body.append(parent);
 
   <div w-nodev>
 
-  <p>A <dfn>custom element definition</dfn> describes a <span>custom element</span> and consists
-  of:</p>
+  <p>A <dfn export>custom element definition</dfn> describes a <span>custom element</span> and
+  consists of:</p>
 
   <dl>
    <dt>A <dfn data-x="concept-custom-element-definition-name" export
@@ -72718,7 +72718,7 @@ dictionary <dfn dictionary>ElementDefinitionOptions</dfn> {
   DOMString <dfn dict-member for="ElementDefinitionOptions" data-x="dom-ElementDefinitionOptions-extends">extends</dfn>;
 };</code></pre>
 
-  <p>Every <code>CustomElementRegistry</code> has a <dfn export for="CustomElementRegistry">is
+  <p>Every <code>CustomElementRegistry</code> has an <dfn export for="CustomElementRegistry">is
   scoped</dfn>, a boolean, initially false.</p>
 
   <p>Every <code>CustomElementRegistry</code> has a <dfn export for="CustomElementRegistry">scoped