PHP CLI Lint (`php -l`) supports linting multiple files at once