Commit 9b3ca2e9e69 for php

commit 9b3ca2e9e6983a32d187ece59332bc44600db838
Merge: cb2f0062786 12562428837
Author: ndossche <7771979+ndossche@users.noreply.github.com>
Date:   Sun Nov 1 14:08:20 2026 +0100

    Merge branch 'PHP-8.4' into PHP-8.5

    * PHP-8.4:
      Fix coverage nightly job failure