Puedes tomar la extensión real del archivo usando las funciones
FileInfo, luego, debes de tener un array con las extensiones permitidas y con la función
in_array, buscarías en el array de extensiones a la extensión obtenida del archivo.
No te fíes de
$_FILES['mapa']['type'] porque puede darse el caso de que el usuario
disfrace un archivo con contenido malicioso.
Saludos