fix(lint): PHP lint is instant in PHP 8.3+ and quick in others for apps#746

susnux merged 1 commit into

masternextcloud/.github:masterfrom

bugfix/noid/lint-is-quick-nownextcloud/.github:bugfix/noid/lint-is-quick-nowCopy head branch name to clipboard