Commit 12df7679202 for php

commit 12df76792026cd62dbbfdf78a426919afe3e0011
Merge: 94b00a7db12 96de5492c88
Author: ndossche <7771979+ndossche@users.noreply.github.com>
Date:   Sun Oct 11 01:38:27 2026 +0200

    Merge branch 'PHP-8.6'

    * PHP-8.6:
      phpdbg: Fix wrong command names