PHP Obtenga la extensión del archivo cargado
$ext = pathinfo($_FILES["file"]["name"], PATHINFO_EXTENSION);
Grepper
$ext = pathinfo($_FILES["file"]["name"], PATHINFO_EXTENSION);