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.xml7
1 files changed, 3 insertions, 4 deletions
diff --git a/psalm.xml b/psalm.xml
index 2ed15e95..4d52e5f8 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -1,14 +1,13 @@
<?xml version="1.0"?>
<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">
+ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+ xmlns="https://getpsalm.org/schema/config" xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" errorBaseline="psalm-baseline.xml">
<projectFiles>
<directory name="src" />
<ignoreFiles>
<directory name="vendor" />
<directory name="temp" />
- <directory name="tests" />
- <directory name=".build" />
+ <directory name="src/translations" />
</ignoreFiles>
</projectFiles>