Como leo la extension de un archivo del servidor?

[Grothias]

Necesito saber la extensión de un archivo del servidor para poder renombrarlo con su respectiva extensión.

¿Existe una función para ello?

[mauled]

Con rename() modificas el nombre de tu archivo

Saludillos.

[Bakura]

si tienes el nombre del archivo entonces lo que puedes hacer es hacerle un explode al nombre del archivo, creo que seria asi

Código PHP:

  <?php
$nombre_del_archivo = "archivo.txt";
$nombre_separado = explode(".",$nombre_del_archivo);
 
echo $nombre_separado[0]; //te da como resultado el nombre del archivo -> archivo
echo $nombre_separado[1]; //te da como resultado la extension del archivo -> txt
?>   

despues solo cambias el nombre y le agregas la extension

[oso96_2000]

Si tiene mas de un punto el nombre del archivo, no dará la extension.. a mi me gusta esto otro:

Código PHP:

  $archivo = "un.archivo.TXT";
$ext = strtolower(array_pop(explode(".",$archivo))); 
   

[Bakura]

orale xD, siempre se aprende algo nuevo, no me sabia la funcion array_pop(), tambien se puede hacer con substr_count() cuentas el numero de puntos y tienes el numero del campo en la matriz donde se encuentra alojada la extension, pero es mas rollo asi que no me hagan caso xD