Project differences from PHP 8.1 into stubs

Author: ondrejmirtes

.github/workflows/update.yml

@@ -37,6 +37,20 @@ jobs:
           ref: "PHP-8.0"
       - name: "Extract stubs"
         run: "./extractor/extract.php"
+
+      # repeat
+      - name: "Delete checked out php-src repo"
+        run: "rm -rf php-src"
+      - name: "Checkout PHP 8.1"
+        uses: actions/checkout@v3
+        with:
+          repository: "php/php-src"
+          path: "php-src"
+          ref: "PHP-8.1"
+      - name: "Update stubs"
+        run: "./extractor/extract.php --update -- 8.1"
+      # end repeat
+
       - name: 'Get previous tag'
         id: previous_tag
         uses: "WyriHaximus/github-action-get-previous-tag@v1"