From a14ef9fc37203401668e4694a724fcf225051c5b Mon Sep 17 00:00:00 2001
From: Thijs Kinkhorst <thijs@kinkhorst.com>
Date: Fri, 25 May 2018 11:52:54 +0000
Subject: [PATCH] Ignore MissingParamType since we need to support PHP < 7
---
psalm.xml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/psalm.xml b/psalm.xml
index de26534bc..0ccc8b80b 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -23,7 +23,8 @@
<PropertyNotSetInConstructor errorLevel="info" />
<MissingConstructor errorLevel="info" />
- <MissingClosureParamType errorLevel="info" />
+ <MissingClosureParamType errorLevel="info" />
+ <MissingParamType errorLevel="info" />
<UnusedClass errorLevel="info" />
<PossiblyUnusedMethod errorLevel="info" />
<UntypedParam errorLevel="info" />
--
GitLab