how to get the extension from an uploaded file php code example

Example: php get uploaded file extension

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