Merge pull request #2848 from bantu/ticket/12948

[ticket/12948] Remove no longer needed opcache workaround. Travis has 5.5.15
This commit is contained in:
Marc Alexander 2014-08-09 18:47:41 +02:00
commit 59398020b6

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