Merge branch 'main' into update-api-doc

Author: gilzow

shared/data/registry.json

@@ -802,6 +802,7 @@
     "type": "php",
     "versions-dedicated-gen-2": {
       "supported": [
+        "8.5",
         "8.4",
         "8.3",
         "8.2",
@@ -829,6 +830,7 @@
         "5.4"
       ],
       "supported": [
+        "8.5",
         "8.4",
         "8.3",
         "8.2",