Commit 7f7238e253c for php.net

commit 7f7238e253c1c0b4a732dc46460de45f951f6720
Merge: 5394a8a07f7 a846c8f4141
Author: Volker Dusch <edorian@php.net>
Date:   Tue May 19 21:02:33 2026 +0200

    Merge branch 'PHP-8.5'

    * PHP-8.5:
      PHP-8.5 is now for PHP 8.5.8-dev