Merge branch 'stable-3.1'

Marius Burkard · Marius Burkard · commit 93edc7d2ef32 · 2018-10-25T16:14:55.000+02:00
diff --git a/.phplint.yml b/.phplint.yml
@@ -0,0 +1,9 @@
+path: ./
+jobs: 10
+cache: .phplint-cache
+extensions:
+  - php
+  - lng
+exclude:
+  - vendor
+
