extraccion de la extension de un archivo

[roman]

No he usado $HTTP_POST_FILES (y creo que ahora debe ser $_FILES) pero puedes sacar la extensión de un nombre de archivo con

Código PHP:

$parts = pathinfo('miarchivo.doc');
echo $parts['extension']; // imprime 'doc' 


// Saludos