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]
Die Größe einer Bilddatei mit der PHP Funktion: getimagesize() ermitteln
Einige Möglichkeiten PHP Systemvariablen zu ermitteln // get all defined variables: $v = get_defined_vars(); print_r($v); // get all defined objects $v = get_object_vars(); print_r($v); // classic phpinfo(); // php version (something like: 4.3.10) print phpversion();[/php] Quelle: jonasjohn.de