From ca6e0cc0e5a17be3f2683e9bcf704febf571a7c7 Mon Sep 17 00:00:00 2001
From: Marius Burkard <m.burkard@pixcept.de>
Date: Thu, 25 Oct 2018 16:09:53 +0200
Subject: [PATCH]  taken gitlab ci from merge request !827

---
 .gitlab-ci.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7d67a34496..67263d33fe 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,12 +8,12 @@ stages:
 
 syntax:lint:
   stage: syntax
+  image: bobey/docker-gitlab-ci-runner-php7
   allow_failure: false
 
   script:
+    - composer require overtrue/phplint
     - echo "Syntax checking PHP files"
     - echo "For more information http://www.icosaedro.it/phplint/"
-    - shopt -s globstar
-    - set -e
-    - for x in **/*.php **/*.lng ; do php -l "$x" ; done
+    - vendor/bin/phplint
 
-- 
GitLab