Стоит задача изменение размера анимированного GIF-файла, с сохранением анимации.
Конечно было бы странно, если бы опробованный способ работал, но я попробовал:
| Код |
$src = imagecreatefromgif($tempname);
$new = imagecreatetruecolor($neww, $newh);
imagecopyresampled($new, $src, 0, 0, 0, 0, $neww, $newh, $width, $height);
imagegif($new, $save_name);
|
выдает ошибку 502 bad gateway.
Аналогично с JPG все работает:
| Код |
$src = imagecreatefromjpeg($tempname);
$new = imagecreatetruecolor($neww, $newh);
imagecopyresampled($new, $src, 0, 0, 0, 0, $neww, $newh, $width, $height);
imagejpeg($new, $save_name);
|
Как это сделать с GIF-анимацией? |