Extension de fichier PHP Get Téléchargé

$ext = pathinfo($_FILES["file"]["name"], PATHINFO_EXTENSION);
Grepper