Merge pull request #23 from pluswerk/feature/phplint

[FEATURE] add jakub-onderka/php-parallel-lint
andersundsehr · Jul 24, 2018 · 51b0ad4 · 51b0ad4
2 parents 7428089 + c1465f1
commit 51b0ad4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/composer.json b/composer.json
@@ -30,7 +30,8 @@
         "pluswerk/grumphp-bom-task": "4.*",
         "pluswerk/grumphp-xliff-task": "2.*",
         "squizlabs/php_codesniffer": "2.* | 3.*",
-        "sensiolabs/security-checker": "4.*"
+        "sensiolabs/security-checker": "4.*",
+        "jakub-onderka/php-parallel-lint": "1.*"
     },
     "extra": {
         "class": "PLUS\\Composer\\Plugin"

diff --git a/grumphp.yml b/grumphp.yml
@@ -47,6 +47,7 @@ parameters:
       warning_severity: 900000
       tab_width: 4
       ignore_patterns: "%convention.phpcslint_ignore_pattern%"
+    phplint: ~
     xmllint:
       ignore_patterns: "%convention.xmllint_ignore_pattern%"
     yamllint: