Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWilliam Desportes <williamdes@wdes.fr>2020-05-02 02:18:43 +0300
committerWilliam Desportes <williamdes@wdes.fr>2020-05-02 02:19:45 +0300
commita1d837d3ce86f2c42fa5f3b68dd1e1ecfb2340fd (patch)
treeabb5e6c2ea53df8194dcf8b8435477bba444cb4e /psalm.xml
parentc2f44de523a99f1e4bfdde4845eef60247f32861 (diff)
Scan all libraries using psalm
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'psalm.xml')
-rw-r--r--psalm.xml16
1 files changed, 15 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml
index 3be9964f4e..4b7b230ce5 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -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" />