[enh] Add HTML5 min/max attributes for port number.