sapere estensione di un file caricato

[pazzomania]

ciao ragazzi.
Ho un modulo per pubblicare dei file.
Nella pagina dove viene pubblicato il file ho bisogno di scrivere:
Questo file ha estensio exe... questo file ha estensione jpg.. ecc
Come si fa??

 

[Eliox]

Direi che così dovrebbe funzionare:

$path = pathinfo($nome_file);
echo $path['extension'];