From cb544ed7ae04a44c305b252644b8c6bc40f6e2dc Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Mon, 3 Feb 2014 22:26:00 +0100
Subject: [PATCH] [ticket/12141] Disable broken opcache extension on PHP 5.5.7.

PHPBB3-12141
---
 travis/setup-php-extensions.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/travis/setup-php-extensions.sh b/travis/setup-php-extensions.sh
index 18d6e7e09d..ebfe62839c 100755
--- a/travis/setup-php-extensions.sh
+++ b/travis/setup-php-extensions.sh
@@ -37,6 +37,12 @@ function install_php_extension
 
 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
 if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.0-dev', '<');"` == "1" ]
 then