public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Minor change

pull/123/head
Michele Locati 2020-02-21 22:01:48 +01:00 committed by GitHub
parent 674d379141
commit c58ecd5264
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/ci-filter-supported-extensions
View File

@ -27,7 +27,7 @@ for EXTENSION in $EXTENSIONS_LIST; do
printf 'supported.\n' >&2 printf 'supported.\n' >&2
SUPPORTED_EXTENSIONS="$SUPPORTED_EXTENSIONS $EXTENSION" SUPPORTED_EXTENSIONS="$SUPPORTED_EXTENSIONS $EXTENSION"
else else
printf 'not supported.\n' >&2 printf 'NOT supported.\n' >&2
fi fi
done done