Commit 640d185647f for php

commit 640d185647fa23871838c0e0099b882188cdc737
Merge: 6de713d23b2 6f5a41524df
Author: Tim Düsterhus <tim@tideways-gmbh.com>
Date:   Thu Oct 29 09:04:18 2026 +0100

    Merge branch 'PHP-8.4' into PHP-8.5

    * PHP-8.4:
      Update GitHub Action workflows to `actions/checkout@v7` (8.4)
      Update GitHub Action workflows to `actions/checkout@v7`

diff --cc .github/workflows/docs.yml
index 0ab56f77ab3,c59fc58a5d8..3f033cb2de6
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@@ -17,11 -17,11 +17,11 @@@ jobs
      if: github.repository == 'php/php-src'
      steps:
        - name: git checkout
-         uses: actions/checkout@v6
+         uses: actions/checkout@v7
        - name: Install dependencies
 -        run: pip install sphinx-design sphinxawesome-theme rstfmt
 +        run: pip install -r docs/requirements.txt
        - name: Check formatting
 -        run: rstfmt --check -w 100 docs/source
 +        run: make -C docs check-formatting
        - name: Publish
          if: github.event_name == 'push'
          uses: sphinx-notes/pages@v3