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

github.com/nextcloud/mail.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristoph Wurst <christoph@winzerhof-wurst.at>2020-10-08 11:46:12 +0300
committerChristoph Wurst <christoph@winzerhof-wurst.at>2020-10-08 11:46:12 +0300
commit92f41dcfc616c31abaff6ef9e361e4f749a49449 (patch)
tree442043cc5155649c2632c24cd31719527deb4936 /psalm.xml
parent59d80a89eb0288f8b1ec29fbd5d627fff51c5c22 (diff)
Update psalm setup
Signed-off-by: Christoph Wurst <christoph@winzerhof-wurst.at>
Diffstat (limited to 'psalm.xml')
-rw-r--r--psalm.xml6
1 files changed, 5 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml
index 215420745..d2612759b 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -1,7 +1,7 @@
<?xml version="1.0"?>
<psalm
totallyTyped="true"
- errorLevel="1"
+ errorLevel="5"
resolveFromConfigFile="true"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns="https://getpsalm.org/schema/config"
@@ -11,6 +11,10 @@
<directory name="lib" />
<ignoreFiles>
<directory name="vendor" />
+ <directory name="lib/Vendor" />
</ignoreFiles>
</projectFiles>
+ <extraFiles>
+ <directory name="vendor/christophwurst/nextcloud" />
+ </extraFiles>
</psalm>