]> git.joonet.de Git - adminer.git/commitdiff
Lint PHP files
authorJakub Vrana <jakub@vrana.cz>
Tue, 21 Feb 2017 12:47:19 +0000 (13:47 +0100)
committerJakub Vrana <jakub@vrana.cz>
Tue, 21 Feb 2017 12:47:19 +0000 (13:47 +0100)
.travis.yml [new file with mode: 0644]

diff --git a/.travis.yml b/.travis.yml
new file mode 100644 (file)
index 0000000..f6f3aca
--- /dev/null
@@ -0,0 +1,5 @@
+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