Commit bc798974073 for php.net

commit bc798974073efe1dae4a01c4fcfe9d670c9c8a6a
Merge: 42b7fba03f7 03f3da616e2
Author: Niels Dossche <7771979+ndossche@users.noreply.github.com>
Date:   Mon Dec 15 08:15:17 2025 +0100

    Merge branch 'PHP-8.5'

    * PHP-8.5:
      Make bug70417.phpt less flaky