PHP. Get the Extension of a File
Many times the PHP developer needs to get the extension of a file. For instance, when uploading an image file and comparing it with the list of allowed file extensions. This little snippet allows you to get the extension of a file with as little code as possible.
$extension = pathinfo($file,PATHINFO_EXTENSION); echo $extension;