diff options
author | Nicolas LÅ“uillet <nicolas@loeuillet.org> | 2016-07-19 11:24:26 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-19 11:24:26 +0200 |
commit | 0dc09439efeb01e8c56d3417922aa8fccce01ead (patch) | |
tree | 2d3a27d53df6e526171d8eafe2d098aff54a6353 /bin/symfony_requirements | |
parent | ab3eb4ba95e156bf5059d0bbb11e2cfde1119a4b (diff) | |
parent | 19738973056d027ebe6e55a97c181279b6ad2f60 (diff) | |
download | wallabag-0dc09439efeb01e8c56d3417922aa8fccce01ead.tar.gz wallabag-0dc09439efeb01e8c56d3417922aa8fccce01ead.tar.zst wallabag-0dc09439efeb01e8c56d3417922aa8fccce01ead.zip |
Merge pull request #2048 from wallabag/travis-php-7.1
Run PHP 7.1 on Travis
Diffstat (limited to 'bin/symfony_requirements')
-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; |