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).
Only one version, the official version, is used there.