add pcov extension (shared only, like xdebug)

2026-07-06 16:25:39 +08:00 · 2025-11-29 12:43:19 +01:00
parent d55278714f
commit e6591ffe9c
3 changed files with 26 additions and 10 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"
    },