Merge pull request #19769 from mhei/php8-update-8.1.12