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

github.com/HuasoFoundries/phpPgAdmin6.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'psalm.xml')
-rw-r--r--psalm.xml6
1 files changed, 0 insertions, 6 deletions
diff --git a/psalm.xml b/psalm.xml
index d3db633d..d2c95c40 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -2,18 +2,12 @@
<psalm totallyTyped="false" errorLevel="3" resolveFromConfigFile="true"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" autoloader="src/lib.inc.php"
xmlns="https://getpsalm.org/schema/config" cacheDirectory=".build/psalm" xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" errorBaseline="psalm-baseline.xml">
-<psalm
- totallyTyped="false"
- errorLevel="3"
- resolveFromConfigFile="true"
- autoloader="src/lib.inc.php"
<projectFiles>
<directory name="src" />
<ignoreFiles>
<directory name="vendor" />
<directory name="temp" />
<directory name="src/translations" />
- <directory name=".build" />
</ignoreFiles>
</projectFiles>