Filter extensions marked for removal

This commit is contained in:
Shivam Mathur
2020-05-10 13:56:23 +05:30
parent 340bfd72bd
commit 28ef0db7df
7 changed files with 2090 additions and 1043 deletions

View File

@@ -10,7 +10,9 @@ export async function run(): Promise<void> {
try {
let version: string = await utils.getInput('php-version', true);
version = version.length > 1 ? version.slice(0, 3) : version + '.0';
const extensions: string = await utils.getInput('extensions', true);
const extensions = await utils.filterExtensions(
await utils.getInput('extensions', true)
);
const key: string = await utils.getInput('key', true);
const script_path: string = path.join(__dirname, '../src/extensions.sh');
await exec(