diff options
| author | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-07-10 11:58:33 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 09:58:19 +0300 |
| commit | 7257793fc4ec5c40c193ca12b5747a4f49c6f4fe (patch) | |
| tree | d87867bef87995b677a5bca6af84b165b1618ee8 /psalm.xml | |
| parent | 9809b7722166fa05733bda042bd36d03b0be4704 (diff) | |
Hello psalm
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Diffstat (limited to 'psalm.xml')
| -rw-r--r-- | psalm.xml | 38 |
1 files changed, 38 insertions, 0 deletions
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> |