function file_extension($filename)
{
    $path_info = pathinfo($filename);
    return $path_info['extension'];
}
//Maybe faster:
function file_extension($filename)
{
return end(explode(".", $filename));
}