Update and rename phpcs.xml.dist to .phplint.yml

jeedom · Sep 13, 2023 · 94f55c2 · 94f55c2
1 parent a227f7a
commit 94f55c2
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 10 deletions.
diff --git a/.phplint.yml b/.phplint.yml
@@ -0,0 +1,15 @@
+path:
+  - core/
+  - desktop/
+  - plugin_info/
+  - resources/
+jobs: 10
+extensions:
+  - php
+exclude:
+  - 3rdparty
+warning: true
+memory-limit: -1
+no-cache: false
+log-json: false
+log-junit: false
diff --git a/phpcs.xml.dist b/phpcs.xml.dist