Ya encontré la respuesta a la pregunta anterior. Verificar archivos con $_FILES["archivos"]["type"] o con un explode que recupere la extensión del nombre no es muy eficaz ya que ésta puede ser cambiada por el usuario en su equipo. Para encontrar el tipo-mime de una imagen usar la función
$info_imagen=getimagesize($_FILES["archivos"]["tmp_name"]) ;
Si la guardamos en una variable, obtenemos un array que contiene el ANCHO, ALTO, TIPO Y ATRIBUTOS de la imagen (en ese orden).
El tipo de la imagen es un número entero, cada número es un tipo-mime diferente. Los atributos son el ancho y alto pero encerrados en el string: height="y" width="x" donde x=ancho y y=alto. Esta última variable del array es ideal para poner en la etiqueta <img> de HTML.
$info_imagen[0]=300 //La imagen mide 300 px de ancho
$info_imagen[1]=250 //La imagen mide 250 px de alto
$info_imagen[2]=1 //1 significa que es imagen GIF
$info_imagen[3]='height="250" width="300"' //Alto y ancho encerrados en sus atributos HTML, usar esto en la etiqueta <img>
El índice 2 de los corchetes[] siempre retorna un número entero:
1="image/gif"
2="image/jpeg"
3="image/png"
6="image/x-ms-bmp" //imagen bmp
7="image/tiff"
17="image/vnd.microsoft.icon" //Ícono

Hay más, pero esos son los más importantes. Podemos condicionar usando directamente esos números, o con la siguiente función que retorna los valores de los núms. (Los que puse entre comillas "")
$tipo=image_type_to_mime_type($info_imagen[2]) ;
if($tipo=="image/gif"||$tipo=="image/jpeg"||$tipo=="image/bmp")
{echo "El archivo subido es una imagen valida" ;}
else {echo "Sube una imagen valida" ;}
Con esa función convertimos los números en el tipo-mime de imagen, pero esta vez ya no nos fiamos del obtenido en la superglobal $_FILES, sino que ya es calculado por PHP, evitando que sea aceptado aunque se le ponga una extensión falsa.
Por último, image_type_to_mime_type() retorna "application/octet-stream" si el archivo no es una imagen.