From 7257793fc4ec5c40c193ca12b5747a4f49c6f4fe Mon Sep 17 00:00:00 2001
From: Daniel Kesselberg <mail@danielkesselberg.de>
Date: Fri, 10 Jul 2020 10:58:33 +0200
Subject: Hello psalm

Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
---
 psalm.xml | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 psalm.xml

(limited to 'psalm.xml')

diff --git a/psalm.xml b/psalm.xml
new file mode 100644
index 00000000000..47825b31648
--- /dev/null
+++ b/psalm.xml
@@ -0,0 +1,38 @@
+<?xml version="1.0"?>
+<psalm
+	errorLevel="4"
+	resolveFromConfigFile="true"
+	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+	xmlns="https://getpsalm.org/schema/config"
+	xsi:schemaLocation="https://getpsalm.org/schema/config lib/composer/vimeo/psalm/config.xsd"
+>
+	<projectFiles>
+		<directory name="apps"/>
+		<directory name="core"/>
+		<directory name="lib"/>
+		<directory name="ocm-provider"/>
+		<directory name="ocs"/>
+		<directory name="ocs-provider"/>
+		<file name="index.php"/>
+		<file name="public.php"/>
+		<file name="remote.php"/>
+		<file name="status.php"/>
+		<file name="version.php"/>
+		<ignoreFiles>
+			<directory name="apps/**/composer"/>
+			<directory name="apps/**/tests"/>
+			<directory name="lib/composer"/>
+			<directory name="lib/l10n"/>
+		</ignoreFiles>
+	</projectFiles>
+	<extraFiles>
+		<directory name="3rdparty"/>
+	</extraFiles>
+	<stubs>
+		<file name="build/stubs/apcu.php"/>
+		<file name="build/stubs/imagick.php"/>
+		<file name="build/stubs/memcached.php"/>
+		<file name="build/stubs/redis.php"/>
+		<file name="build/stubs/redis_cluster.php"/>
+	</stubs>
+</psalm>
-- 
cgit v1.2.3