mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-01-29 12:43:15 +01:00
Code Issues Releases Wiki Activity

Merge branch '3.2.x' into 3.3.x

Browse Source
This commit is contained in:
Marc Alexander 2019-11-22 19:15:44 +01:00
commit 3e9c2ea025
No known key found for this signature in database
GPG Key ID: 50E0D2423696F995
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -42,10 +42,6 @@ function install_php_extension
php_ini_file=$(find_php_ini)
# Disable opcache for testing
echo 'Disabling Opcache'
echo 'opcache.enable=0' >> "$php_ini_file"
# APCu
if [ `php -r "echo (int) (version_compare(PHP_VERSION, '7.0.0-dev', '>=') && version_compare(PHP_VERSION, '7.3.0-dev', '<'));"` == "1" ]
then