diff options
| author | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-07-10 13:30:38 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 09:58:19 +0300 |
| commit | 8b3b5ae5bebc045e241108b32751f976feae7ecb (patch) | |
| tree | 338a9d0a07239e15e0486f2cf2f3b3b9b8175e14 /psalm.xml | |
| parent | 7257793fc4ec5c40c193ca12b5747a4f49c6f4fe (diff) | |
Add stubs for phpseclib
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Diffstat (limited to 'psalm.xml')
| -rw-r--r-- | psalm.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml index 47825b31648..42c8142cf42 100644 --- a/psalm.xml +++ b/psalm.xml @@ -21,18 +21,21 @@ <ignoreFiles> <directory name="apps/**/composer"/> <directory name="apps/**/tests"/> + <directory name="apps/files_external/3rdparty"/> <directory name="lib/composer"/> <directory name="lib/l10n"/> </ignoreFiles> </projectFiles> <extraFiles> <directory name="3rdparty"/> + <directory name="apps/files_external/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"/> + <file name="build/stubs/sftp.php"/> + <file name="build/stubs/ssh2.php"/> </stubs> </psalm> |