Merge pull request #22904 from mhei/22.03-php8-update-to-8.1.26
authorMichael Heimpold <mhei@heimpold.de>
Sun, 17 Dec 2023 19:31:17 +0000 (20:31 +0100)
committerGitHub <noreply@github.com>
Sun, 17 Dec 2023 19:31:17 +0000 (20:31 +0100)
[22.03] php8: update to 8.1.26


Trivial merge