]> git.joonet.de Git - adminer.git/commitdiff
Disallow PHP 5.3 in Travis
authorJakub Vrana <jakub@vrana.cz>
Tue, 16 Jan 2018 12:51:02 +0000 (13:51 +0100)
committerJakub Vrana <jakub@vrana.cz>
Tue, 16 Jan 2018 12:51:02 +0000 (13:51 +0100)
.travis.yml

index f6f3acabb4509bf0a95e15370b0a5ef698046006..fd2c05b724dbf0c17c5b730e533abdaa3b5f0259 100644 (file)
@@ -1,5 +1,4 @@
 language: php
 php:
-  - '5.3'
   - '7.1'
 script: git diff --name-only $TRAVIS_COMMIT_RANGE | grep '\.php$' | xargs -n1 -P8 php -l | grep -v 'No syntax errors'; test $? -eq 1