add opentelemetry extension support

2026-07-22 08:15:35 +08:00 · 2025-01-29 08:24:00 +01:00
parent f19e90afd7
commit 30c5d38095
5 changed files with 80 additions and 0 deletions
--- a/config/source.json
+++ b/config/source.json
@@ -667,6 +667,16 @@
            "path": "COPYING"
        }
    },
+    "opentelemetry": {
+        "type": "url",
+        "url": "https://pecl.php.net/get/opentelemetry",
+        "path": "php-src/ext/opentelemetry",
+        "filename": "opentelemetry.tgz",
+        "license": {
+            "type": "file",
+            "path": "LICENSE"
+        }
+    },
    "openssl": {
        "type": "ghrel",
        "repo": "openssl/openssl",