how to get file extension of uploaded file in php code example

Example: php get uploaded file extension

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