diff options
author | Jeremy Benoist <j0k3r@users.noreply.github.com> | 2016-05-09 10:42:11 +0200 |
---|---|---|
committer | Jeremy Benoist <jeremy.benoist@gmail.com> | 2016-07-18 18:07:25 +0200 |
commit | 19738973056d027ebe6e55a97c181279b6ad2f60 (patch) | |
tree | 9b9c9bac58d464dcf7178b290a581f9dbdee121d /bin | |
parent | 51cbc2ebfe28435c62c2ce43eeb32bb6668a3833 (diff) | |
download | wallabag-19738973056d027ebe6e55a97c181279b6ad2f60.tar.gz wallabag-19738973056d027ebe6e55a97c181279b6ad2f60.tar.zst wallabag-19738973056d027ebe6e55a97c181279b6ad2f60.zip |
Run PHP 7.1 on Travis
- Using nightly (as of now it's PHP 7.1 alpha)
- Force guzzle to be at least 5.3.1 (which fix some bugs in PHP 7)
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/symfony_requirements | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/symfony_requirements b/bin/symfony_requirements index 7cd559a4..8825a964 100755 --- a/bin/symfony_requirements +++ b/bin/symfony_requirements | |||
@@ -13,7 +13,7 @@ echo '> PHP is using the following php.ini file:'.PHP_EOL; | |||
13 | if ($iniPath) { | 13 | if ($iniPath) { |
14 | echo_style('green', ' '.$iniPath); | 14 | echo_style('green', ' '.$iniPath); |
15 | } else { | 15 | } else { |
16 | echo_style('warning', ' WARNING: No configuration file (php.ini) used by PHP!'); | 16 | echo_style('yellow', ' WARNING: No configuration file (php.ini) used by PHP!'); |
17 | } | 17 | } |
18 | 18 | ||
19 | echo PHP_EOL.PHP_EOL; | 19 | echo PHP_EOL.PHP_EOL; |