mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-09 19:26:53 +02:00
Code Issues Releases Wiki Activity

[ticket/16223] Use register_php_extension instead of echo

Browse Source 
PHPBB3-16223
This commit is contained in:
rubencm
2019-11-26 08:36:32 +01:00
committed by Marc Alexander
parent dac910d27a
commit 5ed02c2149
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
travis/setup-php-extensions.sh
View File

@ -58,7 +58,7 @@ fi
phpenv config-rm xdebug.ini || true phpenv config-rm xdebug.ini || true
# memcached # memcached
echo "extension = memcached.so" >> "$php_ini_file" register_php_extension memcached "$php_ini_file"
# redis # redis
# Disabled redis for now as it causes travis to fail # Disabled redis for now as it causes travis to fail