Merge pull request #18652 from mhei/22.03-php8-update
authorMichael Heimpold <mhei@heimpold.de>
Wed, 1 Jun 2022 05:38:48 +0000 (07:38 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Jun 2022 05:38:48 +0000 (07:38 +0200)
commit03bb7e8a062206bd68456242881c5bb09e48dc6f
tree75f1709603ecf50121001d68e901617dfd462103
parentdde831a6b56fce204e6d1ce32c8c3f5dd3584250
parenta9eed2e8020ae4b56c82069f118d48690bc6cdb3
Merge pull request #18652 from mhei/22.03-php8-update

[22.03] php8: update to 8.1.6