Das PHP Script Verzeichnis
Werbung

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]