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.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml
index 0323eadc..f882d4c0 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -1,7 +1,7 @@
<?xml version="1.0"?>
<psalm errorLevel="6" resolveFromConfigFile="true"
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" totallyTyped="false" phpVersion="7.4" findUnusedVariablesAndParams="false" cacheDirectory=".build/psalm" errorBaseline="psalm-baseline.xml">
+ xmlns="https://getpsalm.org/schema/config" xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" totallyTyped="false" phpVersion="7.2" findUnusedVariablesAndParams="false" cacheDirectory=".build/psalm" errorBaseline="psalm-baseline.xml">
<projectFiles>
<directory name="src" />
<ignoreFiles>