Hallo Felix,
Dein Code ist sicher mal ein sehr guter Ansatz.
Aber statt sich auf den - wie Du selbst sagst - sehr unsicheren
Dateinamen zu verlassen, könnte man doch gleich mit PHP den
Dateityp der Grafik bestimmen. Beim Resultat von getimagesize()
steht ja der Bildtyp im Element mit dem Index "mime".
Darum würde ich Deinen Code wie folgt anpassen:
// Bilddatei ausmessen
$bilddimensionen = getimagesize($bildpfad);
$originalx = $bilddimensionen[0];
$originaly = $bilddimensionen[1];
// Typ bestimmen:
$bildtyp=$bilddimensionen['mime'];
switch ($bildtyp) {
case 'image/jpeg':
$bild = imagecreatefromjpeg($bildpfad);
break;case 'image/gif':
$bild = imagecreatefromgif ($bildpfad);
break;case 'image/png':
$bild = imagecreatefrompng($bildpfad);
break;default:
$bild = imagecreatetruecolor($maxx, $maxy);
}
Es kommt ja gelegentlich vor, dass eine Datei eine falsche
Endigung hat. Das Grafik-Betrachtungsprogramm [IrfanView](http://www.irfanview.com/)
(Freeware für Windows) gibt dann jeweils eine Warnung aus
im Stil: "xyz.gif ist eine JPEG-Datei mit falscher Endigung.
Soll die Datei umbenannt werden? Ja / Nein."
Sehr praktisch.
Freundliche Grüsse
Thomas