Hola,
1) $HTTP_POST_FILES["archivo"]['type'] te devuelve el tipo de archivo (MIME) que es, no te devuelve la extension.
La extension esta, junto al nombre en $HTTP_POST_FILES["archivo"]['name'];
2) Para obtener la extension puedes hacer lo siguiente:
$extension = explode($nombre_archivo,".");
asi en $extension[0] tendras el nombre del fichero y en $extension[1] tendras el valor 'jpg' (que si que es la extension).
espero que te sirva,
un saludo
