l'extension du fichier (basename?)

Question

Si j'ai un code comme ceci:

$file = basename($filename); 

Comment puis-je obtenir l'extension de fichier de $file? La variable $file peut contenir n'importe quel type de fichier, comme index.php ou test.jpeg.

Answer 1

Utilisez la fonction pathinfo():

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

ou simplement:

echo pathinfo($file, PATHINFO_EXTENSION); 

Vous pouvez bien sûr chercher le dernier "" dans le nom de fichier et obtenir tout après (relativement facile) mais pourquoi réinventer la roue?

Answer 2

pathinfo($filename, PATHINFO_EXTENSION);