[controllo......]

[nemo74na]

Salve a tutti,
esiste una funzione che controlla l'estensione di un file?

Grazie

[robertes]

//controllo estensione del file
$extensions=array(".gif", ".jpg", ".jpeg", ".png");
$ext = strrchr($Array[Immagine],'.');

if (!in_array($ext,$extensions)) {
echo "File con errata estensione, 
<a href=\"http://tuosito.com">CLICCA PER TORNARE AL FORM DI INVIO DATI</a>";
exit();
}else{
echo "File con giusta estensione
"; 
}

//FINE CONTROLLI 

io faccio così[in questo caso controlli l'estensione di un file immagine]

[pugia]

io uso questa anche se è mooooolto ma moooolto grezza:

function ext($nomefile)
{
	    $parti = explode (".", $filename);
	    $nex = count($parti) - 2;
	    $estensione = $parti[$nex];
	    return $estensione;
}

Però come puoi vedere è molto meccanica e non ha alcun controllo...

[gm]

Un'alternativa:

function get_extension($filename)
{
    return array_pop(explode('.', $filename));
}