Merge pull request #23485 from mhei/23.05-php8-update-to-8.2.16
authorMichael Heimpold <[email protected]>
Sat, 24 Feb 2024 09:53:07 +0000 (10:53 +0100)
committerGitHub <[email protected]>
Sat, 24 Feb 2024 09:53:07 +0000 (10:53 +0100)
[23.05] php8: update to 8.2.16


Trivial merge