Commit 2c4163c90c4 for php.net

commit 2c4163c90c48d80dc8af06d4ceb53ba4ac4f5bcc
Merge: 4d28e2af9eb 2bf24119769
Author: Niels Dossche <7771979+ndossche@users.noreply.github.com>
Date:   Mon Dec 15 08:14:48 2025 +0100

    Merge branch 'PHP-8.1' into PHP-8.2

    * PHP-8.1:
      Make bug70417.phpt less flaky