Documentation
getExtension
usage
string extension = file->getExtension()
retourne
the extension of the file.
Ex: gif, csv, jpg, etc.
exemples
include('../Kernel/common/file.class.php');
$file = new File('/media/picture1.jpg');
echo $file->getName(); // picture1.jpg
echo $file->getShortName(); // picture1
echo $file->getExtension(); // jpg
$file = new File('/media/mysound.mp3');
echo $file->getName(); // mysound.mp3
echo $file->getShortName(); // mysound
echo $file->getExtension(); // mp3