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]