mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-02 23:07:39 +02:00
Code Issues Releases Wiki Activity

Merge branch 'develop-ascraeus' into develop

Browse Source
This commit is contained in:
Marc Alexander
2014-08-09 18:47:59 +02:00
parent 04c084ead8 59398020b6
commit 026a1fc3dd
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -42,12 +42,6 @@ function install_php_extension
php_ini_file=$(find_php_ini) php_ini_file=$(find_php_ini)
# disable broken opcache on PHP 5.5.7 and 5.5.8
if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.9', '<');"` == "1" ]
then
sed -i '/opcache.so/d' "$php_ini_file"
fi
# apc # apc
if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.0-dev', '<');"` == "1" ] if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.0-dev', '<');"` == "1" ]
then then