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)
commit810bd106d1e51acc13856b763797373dc4506c4a
tree8e66e3250fca72fed1b8ae230d0fdd89f66e841e
parent905afb0ed1bf778735dc59f7425107ac29847571
parent92a07db7dc36c2087f48ebb8242a2d7b94b86999
Merge pull request #23201 from mhei/23.05-php8-update-to-8.2.15

[23.05] php8: update to 8.2.15