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