В настоящее время я переписываю существующий инструмент на PHP, который другой человек начал для оптимизации изображений; для gif
изображений я преобразую в png
и затем оптимизирую png file
. Для animated gifs
я буду запускать программу под названием Gifsicle
, которая может оптимизировать анимированные gif
изображения.
В некоторой существующей кодовой базе другой парень идентифицировал анимированные gif-изображения с расширением файла gifgif
, как вы можете видеть из фрагментов ниже, они содержат весь код, который ссылается на этот gifgif
.
У меня есть поиск в Google, и я нигде не могу найти упоминания о файле gifgif
, кроме того, я ни разу в жизни не слышал об этом.
Может кто-нибудь помочь мне выяснить, существует ли фактическое расширение gifgif
? Возможно, это что-то, что встроено в animated gif
файлы?
Код ...
$types = array("gif", "png", "gifgif", "jpg", "jpeg", "bmp");
и
if (substr($type, 0, 6) === "gifgif")
{
$type = "gifgif";
}
и
case "gifgif":
$dest_file .= ".gif";
$cmd = "/usr/bin/gifsicle -O2 $src_file > $dest_file";
exec($cmd, $return, $error);