アニメーションGIFファイルにGIFGIFが埋め込まれていますか？

Question

私はpngに変換し、次にpng fileを最適化するために、他の人が画像を最適化するために起動した既存のツールをPHPで書き直しています。gifの画像については、 animated gifsについては、アニメーションgifイメージを最適化できるGifsicleというプログラムを実行します。

一部の既存のコードベースでは、下のスニペットに示されているように、ファイル拡張子がgifgifのアニメーションGIF画像が特定されました。これらのコードには、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); 

Answer 1

これは、標準の拡張機能ではなく、あなたが表示されたコードは、ファイルの拡張子を気にするように見えます。

あなたが使用しているシステムの開発者は、このシステムに固有のものであると思われます。

Answer 2

gifgifは有効な拡張子ではありません。また、ファイルがアニメーションgifファイルであるかどうかを確認する有効な方法ではありません。ファイルがアニメーションGIFであるかどうかを確認するには、実際にファイルの内容を解析し、フレームヘッダーを確認する必要があります。この機能は、簡単にそれを行います：

<?php 
function is_ani($filename) { 
    return (bool)preg_match('#(\x00\x21\xF9\x04.{4}\x00\x2C.*){2,}#s', file_get_contents($filename)); 
} 
?> 

P.S.これは私の機能ではありませんが、http://php.net/manual/en/function.imagecreatefromgif.phpから借りたものです。同じポストに別のバージョンがあります。このバージョンの関数は、ファイルをチャンクで読み取り、個々のチャンクをチェックしますが、ヘッダーが2つのチャンクに分割される可能性があるため、このアプローチは正しく行われません。