Closed
Description
Description
would it be possible to support passing multiple files to php -l
, e.g. php -l file1.php file2.php file3.php
?
my request is motivated by the fact the current 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 Group
Zend 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.