PHP: Find multiple files in the filesystem and list them