extraccion de la extension de un archivo

[srangel]

tengo una pregunta como puedo extraer solo la extension de un archivo la instruccion que estoy usando es esta $HTTP_POST_FILES['userfile']['type']; pero no me da la extension sino el paquete en el que fue hecho...espero y me puedan ayudar....

[jam1138]

Si es para validación al hacer el upload... desde ya te digo que validar por extención es poco seguro. Lee las FAQ...

Tomando como "extención" lo que está después de un "último punto" puedes hacer algo como:

Código PHP:

  $fichero= "archivo.extencion";
$aux= explode(".", $fichero);
$ext= $aux[count($aux)-1];
echo "Extención: $ext"; 
   

Si lo vaz a obtener en de un upload toma en dato que sale de $_FILES['archivo']['name']

[Pleniluni0]

jam tiene toda la razon es mejor que lo hagas con el $HTTP_POST_FILES['userfile']['type'];

La comprobacion podria ser asi :

Código PHP:

  $a_temp = $_FILES['userfile']['tmp_name']; 
 
//los tipos de archivos permitidos se comprueban metiendo en un array
// los mime de los archivos que tu SI aceptas subir, por ejemplo...
$tipos = array("application/pdf","application/zip","application/msword");    
 
//comprobamos que sea uno de los archivos requeridos, mirando si esta dentro de nuestro array $tipos
if(!in_array($a_tipo,$tipos)){ die ("No es un archivo con el formato requerido");} 
   

Espero que te sirva.