ciao!
dovrei rinominare un file con php.
Ho visto che questa riga di codice
$nome = $_FILES['miofile']['name'];

mi restituisce un file del tipo ciao.doc o ciao.gif etc.., mentre vorrei solo il nome del file "ciao" senza il formato, per poterlo rinominare.
O se avete qlke altro modo per rinominare un file va benissimo lo stesso.
grazie