actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-07-23 23:29:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use ppa:ondrej/php for phalcon except for PHP7.4

Browse Source
This commit is contained in:
Shivam Mathur
2020-01-20 21:07:51 +05:30
parent 8489dbf4de
commit b44e5e009f
3 changed files with 6 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
dist/index.js vendored
View File

@ -2676,8 +2676,8 @@ function addExtensionLinux(extension_csv, version, pipe) {
'\n' +
(yield utils.addLog('$tick', 'xdebug', 'Enabled', 'linux'));
return;
// match 7.0phalcon3..7.3phalcon3 and 7.2phalcon4...7.4phalcon4
case /^7\.[0-3]phalcon3$|^7\.[2-4]phalcon4$/.test(version_extension):
// match 7.4phalcon4
case /^7.4phalcon4$/.test(version_extension):
script +=
'\nsh ' +
path.join(__dirname, '../src/scripts/ext/phalcon.sh') +