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