- Home
- Categorie
- Coding e Sistemistica
- PHP
- sapere estensione di un file caricato
-
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??
-
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 byteCiao
-
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.