Description

would it be possible to support passing multiple files tophp -l, e.g.php -l file1.php file2.php file3.php?

my request is motivated by the fact thecurrent linting tools are slow because of the overhead involved to lint every single file using a single process, so e.g.proc_open dominates the whole process.

see this example blackfire profile, where I lint a project with 2890 files which takes 1min 14secs:

tested with on windows11 - but we see also unnecessary slowdown within github action jobs (not that big as in windows)

PHP 8.1.2 (cli) (built: Jan 19 2022 10:13:52) (NTS Visual C++ 2019 x64)Copyright (c) The PHP GroupZend Engine v4.1.2, Copyright (c) Zend Technologies

if we could e.g. lint 2 or 3 files at a time we could easily cut this processing time in half or even more.