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

Consider pecl_http as http

pull/259/head
Michele Locati 2021-01-17 15:27:09 +01:00
parent ed31420cf1
commit aeb20d355b
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -23,6 +23,12 @@ SUPPORTED_EXTENSIONS=''
resetIFS resetIFS
for EXTENSION in $EXTENSIONS_LIST; do for EXTENSION in $EXTENSIONS_LIST; do
printf 'Checking extension "%s"... ' "$EXTENSION" >&2 printf 'Checking extension "%s"... ' "$EXTENSION" >&2
case "$EXTENSION" in
pecl_http)
EXTENSION=http
printf '(using %s) ' "$EXTENSION" >&2
;;
esac
if printf '%s' "$ALL_SUPPORTED_EXTENSIONS" | grep -q "^$EXTENSION\s"; then if printf '%s' "$ALL_SUPPORTED_EXTENSIONS" | grep -q "^$EXTENSION\s"; then
printf 'supported.\n' >&2 printf 'supported.\n' >&2
SUPPORTED_EXTENSIONS="$SUPPORTED_EXTENSIONS $EXTENSION" SUPPORTED_EXTENSIONS="$SUPPORTED_EXTENSIONS $EXTENSION"