kotlin-stdlib / org.w3c.dom / ElementDefinitionOptions ElementDefinitionOptions JS 1.1 fun ElementDefinitionOptions( extends: String? = undefined): ElementDefinitionOptions(source)