getimagesize("bilddatei")
Beschreibung:Dieser Befehl liest die Bildgröße von GIF, JPG und PNG-Dateien aus und gibt sie in einem Array zurück. Dieser Befehl benötigt nicht die GD-Bibliothek!
Folgende Elemente befinden sich in dem Array:
0. Breite
1. Höhe
2. Typ: 1=GIF, 2=JPEG, 3=PNG
3. Größenangaben im IMG-Tag (z.B. 'width="111" height="24"')
|
|
|
|
Beispiel: $imgsize = getimagesize("img/logo.gif");
if($imgsize[2] == 1) {
echo "Ein GIF!!!";
} elseif($imgsize[2] == 2) {
echo "Ein JPEG!!!";
} elseif($imgsize[2] == 3) {
echo "Ein PNG!!!";
} |
|
|
|
