Editorial: rename ElementRegistrationOptions to ElementDefinitionOptions

These days the process is called "element definition", albeit in a registry.
whatwg · May 8, 2016 · a082daa · a082daa
1 parent 3210b7c
commit a082daa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source b/source
@@ -67658,12 +67658,12 @@ console.log(plasticButton2.getAttribute("is")); // will output "plastic-button"<
   <code>Window</code> object.</p>
 
   <pre class="idl">interface <dfn>CustomElementsRegistry</dfn> {
-  void <span data-x="dom-CustomElementsRegistry-define">define</span>(DOMString name, Function constructor, optional ElementRegistrationOptions options);
+  void <span data-x="dom-CustomElementsRegistry-define">define</span>(DOMString name, Function constructor, optional ElementDefinitionOptions options);
   any <span data-x="dom-CustomElementsRegistry-get">get</span>(DOMString name);
   [NewObject] Promise&lt;void&gt; <span data-x="dom-CustomElementsRegistry-whenDefined">whenDefined</span>(DOMString name);
 };
 
-dictionary <dfn>ElementRegistrationOptions</dfn> {
+dictionary <dfn>ElementDefinitionOptions</dfn> {
   DOMString extends;
 };</pre>