estensione di un file da modulo

[pazzomania2]

ciao
come faccio a saper se un file che mi arriva da un modula la sua estensione?

PErchè puo' essere sia gif che jpg...

[activ]

ma lo vuoi sapere in specifico per le immagini?

[pazzomania2]

ti spiego..
l'utente puo' caricare il suo avatar...

Quindi:
Se è jpg si chiamera username.jpg
se è gif username.gif

Quindi... vedi tu.,.,

[activ]

devi prenderti le informazioni sull'immagine

list($width, $height, $type, $attr) = getimagesize($foto['tmp_name']);

$foto è il nome della tua variabile

e poi...

if (($type!=1) && ($type!=2) && ($type!=3)) {
echo "

Formato non corretto!!</p>";
die;
}

tipo 1 dovrebbe essere gif
tipo 2 dovrebbe essere jpeg
tipo 3 png

ok?

[pazzomania2]

non c'è un semplice modo per riscavare le ultime tre letter dal file pubblicato??

[Toxik]

Si c'è anche quel metodo, tagliare il nome del file dove c'è il punto.
Il problema nasce quando si caricano file che si chiamano img1.altronome.gif a questo punto quel metodo è del tutto inapplicabile.

Il metodo più giusto è quello scritto da activ. getimagesize() ti restituisce alcuni parametri, tra cui anche il formato dell'immagine.

1 sta per GIF
2 sta per JPG
3 sta per PNG
6 sta per BMP.

[dottwatson]

anche

if ( substr($_FILES[0]['name'], -3) == "jpg")


ma questo può sbagliare perchè

se io carico il file "jhonjpg" verrebbe riconosciuto valido,

quindi è corretto come dice activ