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

Merge pull request #28 from mlocati/pcov 

Add support to PCOV
pull/29/head
Michele Locati 2019-08-21 12:47:03 +02:00 committed by GitHub
parent a4fdd1d64c 77b798d328
commit 2b5e46ae24
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
data/supported-extensions
View File

@ -24,6 +24,7 @@ mysqli 5.6 7.0 7.1 7.2 7.3
odbc 5.6 7.0 7.1 7.2 7.3
opcache 5.6 7.0 7.1 7.2 7.3
pcntl 5.6 7.0 7.1 7.2 7.3
pcov 7.0 7.1 7.2 7.3
pdo_dblib 5.6 7.0 7.1 7.2 7.3
pdo_firebird 5.6 7.0 7.1 7.2 7.3
pdo_mysql 5.6 7.0 7.1 7.2 7.3

6
install-php-extensions
View File

@ -460,6 +460,12 @@ installPECLModule () {
installPECLModule_actual="${2}-2.2.0"
fi
;;
pcov)
if test $1 -lt 701
then
installPECLModule_actual="${2}-0.9.0"
fi
;;
pthreads)
if test $1 -lt 700
then