Commit 172cfbc199e for php

commit 172cfbc199ebb9d0c1f7f78cfc41cbb876391d16
Merge: 3e6ddcb0255 4259bba622b
Author: Ilija Tovilo <ilija.tovilo@me.com>
Date:   Fri Sep 25 14:51:47 2026 +0200

    Merge branch 'PHP-8.5' into PHP-8.6

    * PHP-8.5:
      [skip ci] Sync .github files