Récupérer l'extension d'un fichier en php

<?php
$mon_fichier = "images/mon_image.jpg";
 
$extension = substr(strtolower(strrchr(basename($mon_fichier), ".")), 1);
 
echo "<font style='color:#B91500;'>L&#39;extension de mon fichier &quot;$mon_fichier&quot;
est &quot;<b>$extension</b>&quot;</font>";