Get rozszerzenie pliku (basename?)

Question

Jeśli mam kod jak poniżej:

$file = basename($filename); 

Jak mogę uzyskać rozszerzenie pliku $file? Zmienna $file może zawierać dowolny plik, taki jak index.php lub test.jpeg.

Answer 1

Użyj pathinfo() funkcja:

$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"; 

lub po prostu: "".

echo pathinfo($file, PATHINFO_EXTENSION); 

Można oczywiście spojrzeć na ostatni w nazwie pliku i wszystko po (stosunkowo łatwo), ale po co wymyślać koło?

Answer 2

pathinfo($filename, PATHINFO_EXTENSION);