PHPでディレクトリ内の全てのファイル名を取得する方法

glob()は便利だが、patternで拡張子等を指定しないとファイルだけでなくディレクトリも取得してしまう。
ディレクトリだけ取得したいなら、第2引数にGLOB_ONLYDIRを指定すればよいが、GLOB_ONLYFILEというのは無い。

しかし、下記のようにすればディレクトリを除いたファイルのみを簡単に取得できた。

$files = array_filter(glob($path . '/*'), 'is_file');

PHP: glob - Manual