File – Marius van Witzenburg

How to get a file extension with PHP

By mariusvw

January 4, 2010

The following script makes it more easy to get the file extension from a file name:

function get_file_extension($str) {
    $i = strrpos($str,".");
    if (!$i) { return ""; }
    $l = strlen($str) - $i;
    $ext = substr($str,$i+1,$l);
    return $ext;
}
echo get_file_extension('myfile.txt');

function get_file_extension($str) {

$i = strrpos($str,".");

if (!$i) { return ""; }

$l = strlen($str) - $i;

$ext = substr($str,$i+1,$l);

return $ext;

}

echo get_file_extension('myfile.txt');

In case you have the ability to use mime type detection, you could combine it with the above function to validate if the extension is valid for the content of the file.

Marius van Witzenburg

Tag: File

How to read a file line by line with Bash

How to get a file extension with PHP