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