php - 如何在 ext 未知时查找文件并在 PHP 中获取他的 ext？

Question

当文件未知时如何找到文件并在 PHP 中获取他的 ext？

我写了这段代码，但它不工作（如果返回假）...谢谢。

$pos_ext = array('jpeg', 'jpg', 'gif', 'png', 'tif', 'svg', 'bmp');



            while($row = mysql_fetch_assoc($result))  
            {   


            for ($i = 0 ; $i <= 6 ; ++$i)
            {
                $file_name = "/" . $row['ID'] . "/headerpic." . $pos_ext[$i];
                if (file_exists($file_name)) 
                {
                    $ext = $pos_ext[$i];
                }


            }