Salve a tutti.. facendo un upload di una immagine, questa viene ridenominata come
$id."_".$nickname.".png"
però, ovviamente, se in un secondo momento decido di salvarla sul disco, mantiene la sua estensione originale e me la salva come "123_admin.png.jpg"
vorrei sapere se esiste una funzione php dove, presa l'immagine "123_admin.png", mi dica la vera tipologia del file (png, jpeg, gif o altro)
Grazie dell'aiuto
Rispondi quotando