Merge remote-tracking branch 'origin/master'

paragonie · Oct 16, 2018 · 18b3e70 · 18b3e70
2 parents 9c9a6d9 + 4788142
commit 18b3e70
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" />
         <RedundantConditionGivenDocblockType errorLevel="info" />
     </issueHandlers>