From c44b21d3799f4decafecc2070e13244dce001a6b Mon Sep 17 00:00:00 2001
From: Tim van Dijen <tvdijen@gmail.com>
Date: Tue, 23 Jul 2019 21:23:32 +0200
Subject: [PATCH] Fix UnresolvableInclude
---
psalm.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/psalm.xml b/psalm.xml
index 3a016ea55..0c1de8a54 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -74,6 +74,7 @@
<UnresolvableInclude>
<errorLevel type="suppress">
<file name="bin/*.php" />
+ <file name="lib/SimpleSAML/Module.php" />
<file name="lib/SimpleSAML/XHTML/Template.php" />
<file name="modules/*/bin/*.php" />
<file name="tests/bootstrap.php" />
--
GitLab