Merge pull request #23472 from mhei/php8-update-to-8.3.3
authorMichael Heimpold <mhei@heimpold.de>
Tue, 20 Feb 2024 16:34:15 +0000 (17:34 +0100)
committerGitHub <noreply@github.com>
Tue, 20 Feb 2024 16:34:15 +0000 (17:34 +0100)
php8: update to 8.3.3


Trivial merge