From b42b53db12b7d42d02a6090990a8605b10200321 Mon Sep 17 00:00:00 2001
From: Tim van Dijen <tim.dijen@minbzk.nl>
Date: Mon, 16 Mar 2020 15:11:57 +0100
Subject: [PATCH] Fix Psalm-config
---
psalm.xml | 10 +---------
1 file changed, 1 insertion(+), 9 deletions(-)
diff --git a/psalm.xml b/psalm.xml
index b3e2b2026..10bf6cb6f 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -8,15 +8,7 @@
>
<projectFiles>
<directory name="lib/SimpleSAML" />
-
- <directory name="modules/admin" />
- <directory name="modules/core" />
- <directory name="modules/cron" />
- <directory name="modules/exampleauth" />
- <directory name="modules/multiauth" />
- <directory name="modules/portal" />
- <directory name="modules/saml" />
-
+ <directory name="modules" />
<directory name="tests" />
<!-- Ignore certain directories -->
--
GitLab