Commit 9258123d6a3 for php.net

commit 9258123d6a3f4c7957bca07510448b54d3bccd79
Merge: c417deaf0f6 893bc0ad6e5
Author: Ilija Tovilo <ilija.tovilo@me.com>
Date:   Fri May 1 18:57:35 2026 +0200

    Merge branch 'PHP-8.5'

    * PHP-8.5:
      Fix stale getopt() optional value in CLI