Merge pull request #22611 from mhei/23.05-php8-update-to-8.2.12
authorMichael Heimpold <mhei@heimpold.de>
Wed, 8 Nov 2023 06:38:31 +0000 (07:38 +0100)
committerGitHub <noreply@github.com>
Wed, 8 Nov 2023 06:38:31 +0000 (07:38 +0100)
commit4a21e9e72dddc21b6f5183a50b761f6a01aa677f
tree4356a0bb0a46eaa009f68028acebd7f56b6ea8d2
parent7519f1ff14c2a633b1df5c73fdcb01f19bb6b1c4
parent6439078a9311d3d216f055834c71a9b11ea5724b
Merge pull request #22611 from mhei/23.05-php8-update-to-8.2.12

[23.05] php8: update to 8.2.12