Merge pull request #19516 from mhei/22.03-php8-update-8.1.11
authorMichael Heimpold <mhei@heimpold.de>
Tue, 4 Oct 2022 15:35:04 +0000 (17:35 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Oct 2022 15:35:04 +0000 (17:35 +0200)
[22.03] php8: update to 8.1.11


Trivial merge