From a53373a2d83c48e04d8f57a3cebbd7ce54009ba7 Mon Sep 17 00:00:00 2001
From: loviuz <loviuz@gmail.com>
Date: Mon, 14 Nov 2022 22:25:54 +0100
Subject: [PATCH] Aggiunta psalm per migliorare lo sviluppo

---
 gulpfile.js |  3 ++-
 psalm.xml   | 15 +++++++++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 psalm.xml

diff --git a/gulpfile.js b/gulpfile.js
index 0809c04e5..e487e3404 100755
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -402,7 +402,7 @@ function release(done) {
 
     archive.pipe(output);
 
-    // Individuazione dei file da aggiungere
+    // Individuazione dei file da aggiungere e escludere
     glob([
         '**/*',
         '!checksum.json',
@@ -417,6 +417,7 @@ function release(done) {
         'files/temp/.gitkeep',
         '!logs/**',
         '!config.inc.php',
+        '!psalm.xml',
         '!update/structure.php',
         '!**/*.(lock|phar|log|zip|bak|jar|txt)',
         '!**/~*',
diff --git a/psalm.xml b/psalm.xml
new file mode 100644
index 000000000..7c0333df3
--- /dev/null
+++ b/psalm.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="7"
+    resolveFromConfigFile="true"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+>
+    <projectFiles>
+        <directory name="src" />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+</psalm>