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

Add support for phplint

Browse Source
This commit is contained in:
Shivam Mathur
2020-06-24 04:30:50 +05:30
parent dd27d4eb81
commit 6158538131
4 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
dist/index.js vendored
View File

@ -1918,7 +1918,7 @@ async function getCleanedToolsList(tools_csv) {
.map(function (extension) {
return extension
.trim()
.replace(/symfony\/|laravel\/|robmorgan\/|hirak\/|narrowspark\/automatic-/, '');
.replace(/hirak\/|laravel\/|narrowspark\/automatic-|overtrue\/|robmorgan\/|symfony\//, '');
})
.filter(Boolean);
return [...new Set(tools_list)];
@ -2062,6 +2062,9 @@ async function addTools(tools_csv, php_version, os_version) {
case 'phinx':
script += await addPackage(tool, release, 'robmorgan/', os_version);
break;
case 'phplint':
script += await addPackage(tool, release, 'overtrue/', os_version);
break;
case 'prestissimo':
script += await addPackage(tool, release, 'hirak/', os_version);
break;