Source position: htmlelements.pp line 54
public property THtmlCustomElement.AttributeNames[index: Integer] : DOMString read GetAttributeName;