You might still come across both versions, but the official name of the boom town is Sant Antoni Abad (San Antonio in Castilian or Abbot St. Anthony in English).
Both versions may be seen, though only one of them is official.