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