Merge pull request #5836 from WoltLab/setup-php-version-check
authorAlexander Ebert <ebert@woltlab.com>
Thu, 7 Mar 2024 14:47:08 +0000 (15:47 +0100)
committerGitHub <noreply@github.com>
Thu, 7 Mar 2024 14:47:08 +0000 (15:47 +0100)
Improve php version check during the setup


Trivial merge