Merge pull request #22900 from mhei/php8-update-to-8.3.0
authorMichael Heimpold <mhei@heimpold.de>
Sun, 17 Dec 2023 19:30:56 +0000 (20:30 +0100)
committerGitHub <noreply@github.com>
Sun, 17 Dec 2023 19:30:56 +0000 (20:30 +0100)
commit08746a19428f3f469c70c1319d87b085ca4ca18f
treeac17794fddc8c463e7680d80d50c10436645f440
parent9df168c7f85cf85a3f9d747a9fe4ef1ac703028f
parent4e121ba69f4ba571baac6e1c540daef860d04b05
Merge pull request #22900 from mhei/php8-update-to-8.3.0

php8: update to 8.3.0