Create .phplint.yml

jeedom · Sep 13, 2023 · 9c3645e · 9c3645e
1 parent ba44852
commit 9c3645e
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workspace/.phplint.yml b/.github/workspace/.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