Averiguar extensión de un archivo

Para averiguar que extensión tiene un determinado archivo, en php podemos utilizar la función explode, que nos devuelve una matriz de varias cadenas, y por último lo combinamos con la función end para coger la última en caso de haber varias, en nuestro caso solo habria una ya que el nombre del archivo leonpurpura.mp3 solo tiene un punto, pero en caso de que el archivo tenga más de 1 caracter que utilicemos con explode habria que utilizar la función end para rescatar el último.

<?php
$archivo = "toga.mp3"; 
$trozos = explode(".", $archivo); 
$extension = end($trozos); 
// mostramos la extensión del archivo
echo "La extensión del archivo es: $extension";  
?>