Merge pull request #263 from mlocati/seaslog

Add support for SeasLog
pull/266/head
Michele Locati 2021-01-19 14:48:03 +01:00 committed by GitHub
commit 85fb1aba21
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View File

@ -63,6 +63,7 @@ raphf 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0
rdkafka 5.5 5.6 7.0 7.1 7.2 7.3 7.4
recode 5.5 5.6 7.0 7.1 7.2 7.3
redis 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0
seaslog 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0
shmop 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0
smbclient 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0
snmp 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0

View File

@ -2131,7 +2131,7 @@ configureInstaller() {
if ! stringInList 'zip' "$PHP_PREINSTALLED_MODULES"; then
PHP_MODULES_TO_INSTALL="zip $(removeStringFromList 'zip' "$PHP_MODULES_TO_INSTALL")"
fi
if anyStringInList 'swoole xdebug xhprof pdo_sqlsrv sqlsrv igbinary' "$PHP_MODULES_TO_INSTALL"; then
if anyStringInList 'swoole xdebug xhprof pdo_sqlsrv sqlsrv igbinary seaslog' "$PHP_MODULES_TO_INSTALL"; then
USE_PICKLE=2
else
curl -sSLf https://github.com/FriendsOfPHP/pickle/releases/latest/download/pickle.phar -o /tmp/pickle