1--TEST--
2Bug #68731 finfo_buffer doesn't extract the correct mime with some gifs
3--EXTENSIONS--
4fileinfo
5--FILE--
6<?php
7 $buffer = file_get_contents(__DIR__ . '/68731.gif');
8 $finfo = finfo_open(FILEINFO_MIME_TYPE);
9 echo finfo_buffer($finfo, $buffer);
10?>
11--EXPECT--
12image/gif
13
