- htmlName: Name of the HTML element.
- label: Label of the element.
- extra: Extra options for the HTML input tag.
- allowDoubleDefinition: If set to true, HTML element constants will be defined even if there is a previously defined constant with the same name. This will run into an error and helps debugging.