Commit d08d1d52cfb for php

commit d08d1d52cfbada7dd8e3148e0300b22d40dbe5ee
Merge: ba2264028cc 1331fff9e9b
Author: Tim Düsterhus <tim@tideways-gmbh.com>
Date:   Tue Nov 10 09:16:23 2026 +0100

    Merge branch 'PHP-8.3' into PHP-8.4

    * PHP-8.3:
      Update `actions/checkout@v5` to `v7`