Commit 115117f997d for php

commit 115117f997dcf72760f570a16f3f1b046483a8d8
Merge: fc207d7be6f dfcc0433fcd
Author: Jorg Sowa <jorg.sowa@gmail.com>
Date:   Sat Oct 31 16:24:07 2026 +0100

    Merge branch 'PHP-8.4' into PHP-8.5