¿Cómo extraer la extensión real de un archivo subido al servidor?

[DandyCC]

Ya lo había probado cuando vi que mime_content_type estaba obsoleta pero no conseguía que funcionara. Los ejemplos del manual de php son muy poco claros (o yo soy muy torpe, que puede ser).
Ya he conseguido que funcionase. Gracias!