huanghuiming/setup-php
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add patch for gearman [skip ci]

Browse Source
This commit is contained in:
Shivam Mathur 2025-07-28 14:12:45 +05:30
parent 97cf0581e3
commit 102ffdc294
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/scripts/extensions/patches/gearman.sh Normal file
View File

@ -0,0 +1,5 @@
patch_gearman() {
if [[ "${version:?}" =~ ${nightly_versions:?} ]]; then
sed -i~ -e "s/zend_exception_get_default()/zend_ce_exception/" php_gearman.c
fi
}