Update psalm.xml

We don't care if it's redundant.
paragonie · Sep 26, 2018 · 4788142 · 4788142
1 parent 313e5a0
commit 4788142
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/psalm.xml b/psalm.xml
@@ -11,6 +11,7 @@
     <issueHandlers>
         <InvalidScope errorLevel="suppress" />
         <MissingClosureReturnType errorLevel="suppress" />
+        <RedundantConditionGivenDocblockType errorLevel="suppress" />
         <UndefinedConstant errorLevel="suppress" />
     </issueHandlers>
 </psalm>