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

Merge branch 'main' into libedit

Browse Source
This commit is contained in:
Marc
2025-10-13 21:28:15 +02:00
committed by GitHub
parent 26ccaa4449 c5ae719b9c
commit e942b13d73
11 changed files with 130 additions and 114 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
config/source.json
View File

@@ -263,6 +263,15 @@
"path": "LICENSE"
}
},
"ext-zip": {
"type": "url",
"url": "https://pecl.php.net/get/zip",
"filename": "ext-zip.tgz",
"license": {
"type": "file",
"path": "LICENSE"
}
},
"ext-zstd": {
"type": "git",
"path": "php-src/ext/zstd",
@@ -890,7 +899,7 @@
"postgresql": {
"type": "ghtagtar",
"repo": "postgres/postgres",
"match": "REL_16_\\d+",
"match": "REL_18_\\d+",
"license": {
"type": "file",
"path": "COPYRIGHT"