Get the file extension (basename?)

file, php

Solution

Use the `pathinfo()` function:

$path_parts = pathinfo('/www/htdocs/index.html');

echo $path_parts['dirname'], "\n";
echo $path_parts['basename'], "\n";
echo $path_parts['extension'], "\n";
echo $path_parts['filename'], "\n";

or simply:

echo pathinfo($file, PATHINFO_EXTENSION);

You can of course look for the last "." in the filename and get everything after (relatively easy) but why reinvent the wheel?

Problem

If I have a code like this: ``` $file = basename($filename); ``` How do I get the file extension of `$file`? The variable `$file` could contain any kind of file, like `index.php` or `test.jpeg`.

Original source