Determinare estensione file

[Pennywise83]

Ciao a tutti,
ho realizzato un modulo per l'upload di un file audio o video, per il riconoscimento del tipo di file utilizzo un array con i vari tipi permessi, qualora il campo $_FILES['file']['type'] non trovasse il tipo nell'array $tipi_permessi[] impedisce l'upload del file.

Ora, dato che intendo rinominare i file non saprei come determinare l'estensione del file.

mi spiego, se si upload un file "canzone.mp3" io vorrei salvare il file come "upload1234.mp3", nel caso in cui fosse "video.avi" vorrei salvarlo come "upload1234.avi". Come potrei fare ?

[M0AO]

$filename = "foo.bar";
$ext = pathinfo($filename, PATHINFO_EXTENSION); // restituisce bar 

[Pennywise83]

se utilizzo pathinfo così come me l'hai proposto mi da errore di sintassi... intendo pathinfo($filename)['extension']
Se invece uso pathinfo($filename['extension']) mi da un array con due valori:
Array ( [dirname] => . [basename] => U )

come funge? :master:

[M0AO]

scusa ho fatto una correzione, riprova

[Pennywise83]

Sì, adesso funziona tutto alla perfezione.

Grazie mille!