Merge pull request #19518 from mhei/21.02-php8-update-8.0.24
authorMichael Heimpold <[email protected]>
Tue, 4 Oct 2022 15:35:32 +0000 (17:35 +0200)
committerGitHub <[email protected]>
Tue, 4 Oct 2022 15:35:32 +0000 (17:35 +0200)
[21.02] php8: update to 8.0.24


Trivial merge