diff options
author | William Desportes <williamdes@wdes.fr> | 2020-05-02 02:18:43 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2020-05-02 02:19:45 +0300 |
commit | a1d837d3ce86f2c42fa5f3b68dd1e1ecfb2340fd (patch) | |
tree | abb5e6c2ea53df8194dcf8b8435477bba444cb4e /psalm.xml | |
parent | c2f44de523a99f1e4bfdde4845eef60247f32861 (diff) |
Scan all libraries using psalm
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'psalm.xml')
-rw-r--r-- | psalm.xml | 16 |
1 files changed, 15 insertions, 1 deletions
@@ -9,9 +9,10 @@ errorBaseline="psalm-baseline.xml" > <projectFiles> - <directory name="libraries/classes" /> + <directory name="libraries" /> <ignoreFiles> <directory name="vendor" /> + <directory name="libraries/cache" /> </ignoreFiles> </projectFiles> @@ -48,8 +49,21 @@ </errorLevel> </RawObjectIteration> + <PossiblyUndefinedGlobalVariable> + <errorLevel type="suppress"> + <file name="libraries/config.default.php" /> + </errorLevel> + </PossiblyUndefinedGlobalVariable> + + <InvalidGlobal> + <errorLevel type="suppress"> + <file name="libraries/common.inc.php" /> + </errorLevel> + </InvalidGlobal> + <InvalidStringClass> <errorLevel type="suppress"> + <file name="libraries/common.inc.php" /> <file name="libraries/classes/TwoFactor.php" /> <file name="libraries/classes/Plugins.php" /> <file name="libraries/classes/Navigation/NodeFactory.php" /> |