PHP 8.5 stubs

Author: ondrejmirtes

.github/workflows/update.yml

@@ -89,6 +89,19 @@ jobs:
       - name: "Update stubs"
         run: "./extractor/extract.php --update -- 8.3 8.4"
 
+      # ---
+
+      - name: "Delete checked out php-src repo"
+        run: "rm -rf php-src"
+      - name: "Checkout PHP 8.5"
+        uses: actions/checkout@v4
+        with:
+          repository: "php/php-src"
+          path: "php-src"
+          ref: "master"
+      - name: "Update stubs"
+        run: "./extractor/extract.php --update -- 8.4 8.5"
+
       # end repeat
 
       - name: 'Get previous tag'