diff options
Diffstat (limited to 'utils/gitlab-ci/php-lint.sh')
| -rw-r--r-- | utils/gitlab-ci/php-lint.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/utils/gitlab-ci/php-lint.sh b/utils/gitlab-ci/php-lint.sh deleted file mode 100644 index ceaee1466..000000000 --- a/utils/gitlab-ci/php-lint.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e - -exec find . -name "*.php" -print0 | xargs -0 -n1 php -q -l |