Merge pull request #16247 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 31 Jul 2021 07:11:20 +0000 (09:11 +0200)
committerGitHub <noreply@github.com>
Sat, 31 Jul 2021 07:11:20 +0000 (09:11 +0200)
php8: update to 8.0.9/add runtime test


Trivial merge