Werbung
PHP Archiv Blog
Codeschnipsel und Scripts
Jede Menge neue Twitter Follower bekommen. Die Software hat einen kostenlosen Trial Mode, der bis zu 250 Follower bringt.
Auf einfache Weise die Endung einer Datei ermitteln
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 PHP ermitteln
Die Größe einer Bilddatei mit der PHP Funktion: getimagesize() ermitteln
// getimagesize Beispiellist($width, $height, $type, $attr) = getimagesize("images/beispiel.jpg");
?>[/php]
Einige Möglichkeiten Systemvariablen zu 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