Merge pull request #18630 from mhei/21.02-php8-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 30 May 2022 21:07:47 +0000 (23:07 +0200)
committerGitHub <noreply@github.com>
Mon, 30 May 2022 21:07:47 +0000 (23:07 +0200)
commit9afd6ff0234afbaf31e43400a85d933620d4fd78
treebd911b1ce30435e9db9e04e23db1ef8e86cb1466
parent174f05eb08df452c5bf9e7eedc4c02ddeba21f48
parent790036b75ef55bcd3cc00254c6e2f2a65dc946e4
Merge pull request #18630 from mhei/21.02-php8-update

[21.02] php8: update to 8.0.19