Finding Extension of uploaded file (PHP) [duplicate]

$name = $_FILES["file"]["name"];
$ext = end((explode(".", $name))); # extra () to prevent notice

echo $ext;