PHP function to get extension of a file

Here is a simple usefull function to get extension of a file in php

function getFileExtension($filename)
{
$dot = substr (strrchr ($filename, "."), 1);
return ($dot);
}