Commit e6f3a9f06fb for php.net

commit e6f3a9f06fb5a69c81bec76b262b712ce2d5a8e9
Merge: 355a4b5e61f 8ffedc873aa
Author: Niels Dossche <7771979+ndossche@users.noreply.github.com>
Date:   Mon Dec 15 08:15:04 2025 +0100

    Merge branch 'PHP-8.3' into PHP-8.4

    * PHP-8.3:
      Make bug70417.phpt less flaky