Visualizzare nome file senza estensione.

[everyman]

Salve Ragazzi!
Ho creato uno script che mi richiama il nome di un file (tramite la variabile $file), il problema è che viene visualizzata anche l'estensione del file (nel mio caso .txt).
C'è un metodo per visualizzare il nome 'assoluto' (cioè senza estensione) del file?

Grazie !!

[mariox]

$nome_file = prova.txt
$file = basename("$nome_file",".txt"); 

[everyman]

Grazie mille mariox!
Ora ho risolto!

[Darsch2501]

Cmq se ti serve in generale un modo per troncare l'estensione dal nome di un file:

$file = "documento.versione2.doc";

$nomefile = substr($file,0,strrpos($file,"."));