how to getthe file extension from $_FILES in php code example

Example: php get file extension from filename

$ext = pathinfo($filename, PATHINFO_EXTENSION);