parte di stringa....funzione comoda

[stiffa]

ciao...

chiedo una cosa stupida....Vorrei sapere con che funzione...o come faresta , dato il nome del file + estensione a ottenere solo il nome del file....senza estensione.

Ossia da provaFile.php ottenere provaFile

???

[ken84]

//$file = provaFile.php
list($nome,$estensione) = explode(".",$file);
echo "nome: ".$nome." estensione: ".$estensione; 

ciao