estenzione di un file uploadato

Come faccio a mettere in una variabile ad esempio ($est) l'estenzione di un file che sto uploadando?
Grazie

prima lo uppi e poi lo tratti come un file di testo normale con fopen() fwrite() fread() e fclose()

Ma io voglio prendere l'estenzione del nome del file.
Non voglio controllare il contenuto del file

$ext = $_FILES['file']['type'];
$tok = strtok($ext,"/");
while ($tok) $tok =strtok("/");
echo "Estensione:$tok";

(non l'ho provato)

Non funziona $tok risulta vuota.
Altri consigli?

$ext = $_FILES['file']['type'];
$tok = strtok($ext,"/");
while ($tok) {
$last=$tok;
$tok =strtok("/");
}
echo "Estensione:$last";

Quando viene inviato un file tramite un form, il PHP crea diverse variabili i cui nomi sono composti dal nome originario della variabile (del form) ad esempio $uploadfile seguito da alcuni suffissi standad che ti vado a elencare:

$uploadfile_name = nome del file
$uploadfile_size = dimensioni del file in byte
$uploadfile_type = estensione del file inviato
$uploadfile = nome del file temporaneo creato dopo l' invio

Spero di essere stato chiaro...

Lollo
----------------------------------
Do you wanna Flash MX Site:
http://www.foliefolie.com

Io di solito uso questo codice:

<?php
$tmp = explode(".", $nomefile);
$ext = array_pop($tmp);
?>

$ext contiene l'estensione. Funziona anche con file che hanno più punti all'interno del nome (es. prova.file.txt => $ext vale "txt")

Se la variabile che contiene il file proviene da un form si può utilizzare, in questo script, $_FILES[nomefile][name] al posto di $nomefile

Ciao :=):