Commit 03f3da616e2 for php.net

commit 03f3da616e2c90a3d8fec5e53f59d3394307567f
Merge: 64dd933a06e e6f3a9f06fb
Author: Niels Dossche <7771979+ndossche@users.noreply.github.com>
Date:   Mon Dec 15 08:15:10 2025 +0100

    Merge branch 'PHP-8.4' into PHP-8.5

    * PHP-8.4:
      Make bug70417.phpt less flaky