Use `$directory_filter` with `FileProvider::getFilesInDir()` to skip ignored directories
Use `$directory_filter` with `FileProvider::getFilesInDir()` to skip ignored directories

vimeo/psalm,vimeo/psalm