Commit 0ffed890fa0 for php

commit 0ffed890fa0c0fc69645721e35a90bf416fc699f
Merge: c7ea9b17582 ed504b59e5d
Author: Tim Düsterhus <tim@tideways-gmbh.com>
Date:   Thu Oct 29 09:03:43 2026 +0100

    Merge branch 'PHP-8.3' into PHP-8.4

    * PHP-8.3:
      Update GitHub Action workflows to `actions/checkout@v7`