Merge pull request #19130 from mhei/php8-update-8.1.9
authorMichael Heimpold <mhei@heimpold.de>
Mon, 8 Aug 2022 13:28:18 +0000 (15:28 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Aug 2022 13:28:18 +0000 (15:28 +0200)
php8: update to 8.1.9


Trivial merge