crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-05 15:55:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into feat/xdebug-dynamic

Browse Source
This commit is contained in:
Marc
2025-03-23 10:13:56 +01:00
committed by GitHub
parent 9d75265e25 d0a66ab16b
commit 71b52e58b2
12 changed files with 133 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
config/source.json
View File

@@ -636,6 +636,16 @@
"path": "LICENSE"
}
},
"mimalloc": {
"type": "ghtagtar",
"repo": "microsoft/mimalloc",
"match": "v2.+",
"provide-pre-built": false,
"license": {
"type": "file",
"path": "LICENSE"
}
},
"mongodb": {
"type": "ghrel",
"repo": "mongodb/mongo-php-driver",