Commit 8ffedc873aa for php.net

commit 8ffedc873aa603936b8aa4b0d5c63bbdcb566b19
Merge: 0056d013bf5 2c4163c90c4
Author: Niels Dossche <7771979+ndossche@users.noreply.github.com>
Date:   Mon Dec 15 08:14:56 2025 +0100

    Merge branch 'PHP-8.2' into PHP-8.3

    * PHP-8.2:
      Make bug70417.phpt less flaky