1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
30:
31:
32:
33:
34:
35:
36:
37:
38:
39:
40:
41:
42:
43:
44:
45: | // Orginalbild
$bild = "$dateien[$i]";
// Bilddaten ermitteln
$size = getimagesize("$PicPathIn"."$bild");
$breite = $size[0];
$hoehe = $size[1];
if ($breite > $hoehe) {
$neueBreite = 100;
$neueHoehe = intval($hoehe*$neueBreite/$breite);
}
else {
$neueHoehe = 100;
$neueBreite = intval($breite*$neueHoehe/$hoehe);
};
if($size[2]==1) {
// GIF
$altesBild = ImageCreateFromGIF("$PicPathIn"."$bild");
$neuesBild = imageCreate($neueBreite,$neueHoehe);
imageCopyResized($neuesBild,$altesBild,0,0,0,0,$neueBreite,$neueHoehe,$breite,$hoehe);
imageGIF($neuesBild,"$PicPathOut"."k_"."$bild");
}
if($size[2]==2) {
// JPG
$altesBild = ImageCreateFromJPEG("$PicPathIn"."$bild");
$neuesBild = imageCreate($neueBreite,$neueHoehe);
imageCopyResized($neuesBild,$altesBild,0,0,0,0,$neueBreite,$neueHoehe,$breite,$hoehe);
ImageJPEG($neuesBild,"$PicPathOut"."k_"."$bild");
}
if($size[2]==3) {
// PNG
$altesBild = ImageCreateFromPNG("$PicPathIn"."$bild");
$neuesBild = imageCreate($neueBreite,$neueHoehe);
imageCopyResized($neuesBild,$altesBild,0,0,0,0,$neueBreite,$neueHoehe,$breite,$hoehe);
ImagePNG($neuesBild,"$PicPathOut"."k_"."$bild");
}
$thumbnails[] = $PicPathOut."k_".$bild;
$neueBreiten[] = $neueBreite;
$neueHoehen[] = $neueHoehe;
|