アニメーションGIFファイルのサムネイル画像(縮小画像)を作る処理をPHPで書こうとしたが、これがかなり面倒くさい。結果、コマンドラインからImageMagickのconvertコマンドを叩くことにした。コマンド一発でアニメーションを保持しつつ縮小！すばらし〜♪そん…