Merge pull request #21560 from mhei/23.05-php8-update-to-8.2.8
authorMichael Heimpold <mhei@heimpold.de>
Fri, 14 Jul 2023 05:57:19 +0000 (07:57 +0200)
committerGitHub <noreply@github.com>
Fri, 14 Jul 2023 05:57:19 +0000 (07:57 +0200)
[23.05] php8: update to 8.2.8


Trivial merge