Merge remote-tracking branch 'origin/master'

static-php · Apr 2, 2024 · f38d50f · f38d50f
2 parents a533e64 + 76cc754
commit f38d50f
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/docs/.vitepress/config/ext.json b/docs/.vitepress/config/ext.json
@@ -57,6 +57,10 @@
             "xml"
         ]
     },
+    "ds": {
+        "type": "external",
+        "source": "ext-ds"
+    },
     "event": {
         "type": "external",
         "source": "ext-event",

diff --git a/docs/.vitepress/config/source.json b/docs/.vitepress/config/source.json
@@ -52,6 +52,16 @@
             "path": "COPYING"
         }
     },
+    "ext-ds": {
+        "type": "url",
+        "url": "https://pecl.php.net/get/ds",
+        "path": "php-src/ext/ds",
+        "filename": "ds.tgz",
+        "license": {
+            "type": "file",
+            "path": "LICENSE"
+        }
+    },
     "ext-event": {
         "type": "url",
         "url": "https://bitbucket.org/osmanov/pecl-event/get/3.0.8.tar.gz",