0

我正在寻找如何确定它是文件还是文件夹类型的最佳方法。我在这里的主要动机是计算文件夹,但我有一种情况,我的文件夹可以命名为 test.ok 并且代码也应该计算这个,只要它是我的计数器应该增加的文件夹。

关于这个的任何想法?

4

2 回答 2

5

is_dir似乎是您要查找的 PHP 命令:判断给定文件名是否为目录。

于 2013-01-22T00:59:25.303 回答
1

我会说用它来检查目录/文件

if(is_file($file))#File
if(is_dir($file))#directory/folder

根据您可能想尝试的评论进行编辑echo filetype($file)

于 2013-01-22T01:00:29.797 回答