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

Merge branch 'main' into libedit

Browse Source
This commit is contained in:
Marc
2025-10-12 11:34:11 +02:00
committed by GitHub
parent f8d77b9b50 6d6a29368e
commit 26ccaa4449
21 changed files with 172 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
config/ext.json
View File

@@ -759,11 +759,9 @@
},
"type": "builtin",
"arg-type": "custom",
"lib-depends": [
"libxml2"
],
"ext-depends-windows": [
"xml"
"ext-depends": [
"libxml",
"session"
]
},
"sockets": {