sapere estensione di un file caricato

[pazzomania]

sapere estensione di un file caricato

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??

[sups]

Per sapere tutte le informazioni su di un file caricato utilizza questo:

$HTTP_POST_FILES['file'] "file" è il nome file inserito nel form
$HTTP_POST_FILES['file']['name'] il nome originale del file dal computer dell'utente
$HTTP_POST_FILES['file']['tmp_name'] nome temporaneo del file quando viene caricato
$HTTP_POST_FILES['file']['type'] il nome del file generato dal browser dell'utente
$HTTP_POST_FILES['file'] la dimensione del file, in byte

Ciao

[gabrielem]

Per ricavare le informazioni dal file che già è stato caricato invece
basta che tu abbia il nome del file e poi
<?
echo strrchr( $nome_file, '.');
?>

usando questo odice stampi l'estenzione ovvero tutto quello che sta dopo il punto nel nome del file.