+ <!-- False positive with some versions of (Psalm, PHP) -->
+ <InvalidReturnType errorLevel="info" />
+ <!-- The "last resort" function in lib/random.php -->
+ <MixedInferredReturnType errorLevel="suppress" />
+ <!-- Only used in totallyTyped mode -->