Merge pull request #18392 from mhei/21.02-php8-update
authorMichael Heimpold <mhei@heimpold.de>
Thu, 28 Apr 2022 05:28:30 +0000 (07:28 +0200)
committerGitHub <noreply@github.com>
Thu, 28 Apr 2022 05:28:30 +0000 (07:28 +0200)
commit5c04009ae70c872111a9c8dca7e64f93183a1dec
treec5ddffc00d44bad12ef52435e49763a9a046a864
parent0d142ffd238fadce14e5fafe9a68d0475f39e7d4
parenta4cf6a88576f7106393f4cafd36154053637d332
Merge pull request #18392 from mhei/21.02-php8-update

[21.02] php8: update to 8.0.18