Add extension dio support (#590)

* Add extension dio support * cs-fix
2026-07-08 01:15:37 +08:00 · 2025-01-25 18:43:12 +09:00
parent 36b4ef306e
commit f19e90afd7
5 changed files with 52 additions and 6 deletions
--- a/config/ext.json
+++ b/config/ext.json
@@ -57,6 +57,13 @@
            "qdbm"
        ]
    },
+    "dio": {
+        "support": {
+            "BSD": "wip"
+        },
+        "type": "external",
+        "source": "dio"
+    },
    "dom": {
        "support": {
            "BSD": "wip"
--- a/config/source.json
+++ b/config/source.json
@@ -69,6 +69,16 @@
            "path": "COPYING"
        }
    },
+    "dio": {
+        "type": "url",
+        "url": "https://pecl.php.net/get/dio",
+        "path": "php-src/ext/dio",
+        "filename": "dio.tgz",
+        "license": {
+            "type": "file",
+            "path": "LICENSE"
+        }
+    },
    "ext-ds": {
        "type": "url",
        "url": "https://pecl.php.net/get/ds",