[php] estensione nome file

[luqwe]

Buongiorno,
ho il nome di un file in una stringa:

$nomefile = "nomedelfile.jpg"; 

Sapete se esiste una funzion e che ne determina l'estensione?
Oppure me la devo creare io con explode?

[carloast82]

Ciao,
Se per caso la stringa viene da un campo di tipo file di un Form puoi utilizzare :

$nomefile_type

purtroppo con $nomefile_type non ti viene fuori la vera estensione.
Io per risolvere questo problema ho fatto in questo modo.

if($immagine_type == "image/gif") {$ext="gif";}
if($immagine_type == "image/pjpeg") {$ext="jpg";}
if($immagine_type == "image/jpeg") {$ext="jpg";}

e cosi' via per gli altri formati che intendi trattare di seguito se e solo se il nome del file viene da un campo di tipo file.

Di più non so... mi dispiace

[neida]

[supersaibal]Originariamente inviato da luqwe
Buongiorno,
ho il nome di un file in una stringa:
$nomefile = "nomedelfile.jpg";
Sapete se esiste una funzion e che ne determina l'estensione?
Oppure me la devo creare io con explode?[/supersaibal]

Non ricordo se c'è una funzione dedicata, ma i modi per realizzare una cosa simile sono tanti. Qualche esempio:

$nomefile = "nomedelfile.jpg";
$estensione = substr($nomefile, strrpos($nomefile, ".")+1);

oppure...

$nomefile = "nomedelfile.jpg";
$estensione = end(explode(".", $nomefile));

Ma ci saranno certamente altri sistemi...

[luqwe]

Grazie a tutti.
Siete stati chiarissimi.