mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-03 15:27:42 +02:00
Code Issues Releases Wiki Activity

[ticket/12141] Disable broken opcache extension on PHP 5.5.7.

Browse Source 
PHPBB3-12141
This commit is contained in:
Andreas Fischer
2014-02-03 22:26:00 +01:00
parent ac954a7c4b
commit cb544ed7ae
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -37,6 +37,12 @@ function install_php_extension
php_ini_file=$(find_php_ini) php_ini_file=$(find_php_ini)
# disable broken opcache on PHP 5.5.7
if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.8', '<');"` == "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