Auf einfache Weise die Endung einer Datei ermitteln. Dazu genügen folgende Zeilen:
$filename = 'grafik.jpg';$file = pathinfo($filename);
echo $file['extension']; // output: jpg[/php]
Auf einfache Weise die Endung einer Datei ermitteln. Dazu genügen folgende Zeilen:
$filename = 'grafik.jpg';$file = pathinfo($filename);
echo $file['extension']; // output: jpg[/php]