Merge branch 'main' into v3-dev

2026-07-08 09:25:35 +08:00 · 2025-12-02 13:39:19 +08:00
parent 14bfb4198a 59a6e27532
commit 9903c2294c
4 changed files with 37 additions and 13 deletions
--- a/config/ext.json
+++ b/config/ext.json
@@ -567,6 +567,13 @@
        "type": "builtin",
        "unix-only": true
    },
+    "pcov": {
+        "type": "external",
+        "source": "pcov",
+        "target": [
+            "shared"
+        ]
+    },
    "pdo": {
        "type": "builtin"
    },
--- a/config/source.json
+++ b/config/source.json
@@ -963,6 +963,15 @@
            "path": "LICENSE"
        }
    },
+    "pcov": {
+        "type": "url",
+        "url": "https://pecl.php.net/get/pcov",
+        "filename": "pcov.tgz",
+        "license": {
+            "type": "file",
+            "path": "LICENSE"
+        }
+    },
    "pdo_sqlsrv": {
        "type": "url",
        "url": "https://pecl.php.net/get/pdo_sqlsrv",