From 614c45c16ad435ad32f5855d4d312ecc84e461c7 Mon Sep 17 00:00:00 2001
From: Tim van Dijen <tvdijen@gmail.com>
Date: Mon, 7 Oct 2019 22:49:26 +0200
Subject: [PATCH] No longer ignore stubs-dir; it was removed

---
 psalm.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/psalm.xml b/psalm.xml
index 0550fb9bd..5a230843e 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -34,7 +34,6 @@
             <file name="modules/saml/templates/proxy/*.tpl.php" />
             <file name="modules/saml/templates/sp/*.tpl.php" />
 
-            <directory name="tests/Utils/Stubs" />
             <directory name="vendor" />
         </ignoreFiles>
     </projectFiles>
-- 
GitLab