Merge pull request #23201 from mhei/23.05-php8-update-to-8.2.15
authorMichael Heimpold <mhei@heimpold.de>
Wed, 31 Jan 2024 22:21:37 +0000 (23:21 +0100)
committerGitHub <noreply@github.com>
Wed, 31 Jan 2024 22:21:37 +0000 (23:21 +0100)
[23.05] php8: update to 8.2.15


Trivial merge