[PHP 8.3] It is now possible to lint multiple files.#2917

jimwins merged 3 commits into

php:masterphp/doc-en:masterfrom

mumumu:php83-now-possible-to-lint-multiple-filesmumumu/doc-en:php83-now-possible-to-lint-multiple-filesCopy head branch name to clipboard