Get File Extension in PHP

<?php
function get_file_extension($file_name)
{
    /* may contain multiple dots */
    $string_parts = explode('.', $file_name); 
    $extension = $string_parts[count($string_parts) - 1];
    $extension = strtolower($extension);
    return $extension;
}
?>