Commit 3716dffcc74 for php.net

commit 3716dffcc74b7fff3f1a59d4d1da06470a6d1280
Merge: b19a3536e83 05c72b40b4f
Author: Pierrick Charron <pierrick@php.net>
Date:   Wed Dec 17 07:51:09 2025 -0500

    Merge branch 'PHP-8.4' into PHP-8.5

    * PHP-8.4:
      PHP-8.2 is now for PHP 8.2.31-dev