readdir（）：33不是有效的目录资源

Question

我知道我们已经重复了这一点，但仍然没有得到确切的解决方案。这是我的代码

if ($lib_dir = @opendir($_SERVER["DOCUMENT_ROOT"]."/lib")) {
    while (false !== ($lib_file = readdir($lib_dir))) {
        if ((preg_match("/\.php$/", $lib_file)) & ($lib_file!="loader.php"))     
        {
            include_once($_SERVER["DOCUMENT_ROOT"]."/lib/$lib_file");
        }
    }
    closedir($lib_dir);

}

提前完成