Merge pull request #23000 from mhei/23.05-php8-update-to-8.2.14
authorMichael Heimpold <[email protected]>
Fri, 29 Dec 2023 09:03:43 +0000 (10:03 +0100)
committerGitHub <[email protected]>
Fri, 29 Dec 2023 09:03:43 +0000 (10:03 +0100)
commit879c7e1b52e351f24d6e63183996c86fe4a1e1e1
tree7885d58951629aaa859f036c7dd4f9c2032324b1
parentf971d88d5d43b759b563542ba5af2e4cd63e29c2
parent06d1feb78d926665cabefd0352db8f681ab52e3a
Merge pull request #23000 from mhei/23.05-php8-update-to-8.2.14

[23.05] php8: update to 8.2.14