From a1d837d3ce86f2c42fa5f3b68dd1e1ecfb2340fd Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sat, 2 May 2020 01:18:43 +0200
Subject: [PATCH] Scan all libraries using psalm

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 psalm.xml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/psalm.xml b/psalm.xml
index 3be9964f4e..4b7b230ce5 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -9,9 +9,10 @@
     errorBaseline="psalm-baseline.xml"
 >
     <projectFiles>
-        <directory name="libraries/classes" />
+        <directory name="libraries" />
         <ignoreFiles>
             <directory name="vendor" />
+            <directory name="libraries/cache" />
         </ignoreFiles>
     </projectFiles>
 
@@ -48,8 +49,21 @@
             </errorLevel>
         </RawObjectIteration>
 
+        <PossiblyUndefinedGlobalVariable>
+            <errorLevel type="suppress">
+                <file name="libraries/config.default.php" />
+            </errorLevel>
+        </PossiblyUndefinedGlobalVariable>
+
+        <InvalidGlobal>
+            <errorLevel type="suppress">
+                <file name="libraries/common.inc.php" />
+            </errorLevel>
+        </InvalidGlobal>
+
         <InvalidStringClass>
             <errorLevel type="suppress">
+                <file name="libraries/common.inc.php" />
                 <file name="libraries/classes/TwoFactor.php" />
                 <file name="libraries/classes/Plugins.php" />
                 <file name="libraries/classes/Navigation/NodeFactory.php" />