Esiste una funzione in php che ritorni l'estensione di un file dato in ingresso?
Se si potreste indicarmela please?
Grazie mille