Welcome to mirror list, hosted at ThFree Co, Russian Federation.

ci-lint « test - github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: 1e5e4959fbed4f9554e01a548ea61c15ae8b5a2d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/sh

if [ -z "$TRAVIS_COMMIT_RANGE" ] ; then
    FILES=`find . -name '*.php' -not -path './vendor/*'`
else
    FILES=`git diff --name-only $TRAVIS_COMMIT_RANGE -- '*.php'`
fi

for FILE in $FILES ; do
    if [ -f $FILE ] ; then
        php -l $FILE
    fi
done