diff options
author | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 13:38:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-18 13:38:03 +0200 |
commit | 92b67409fa3e9ac25da7439731b5df783f50b299 (patch) | |
tree | 5d0b4d5ec80082dd3b2c814f9879f61361ff7eda /build/files-checker.php | |
parent | 1f1c087112e76d8e38186877802056ab098e34c1 (diff) | |
parent | 42bb6cd7d780e6405c55c975621781b4ee0e585e (diff) | |
download | nextcloud-server-92b67409fa3e9ac25da7439731b5df783f50b299.tar.gz nextcloud-server-92b67409fa3e9ac25da7439731b5df783f50b299.zip |
Merge pull request #21787 from nextcloud/enh/hello-psalm
Hello psalm
Diffstat (limited to 'build/files-checker.php')
-rw-r--r-- | build/files-checker.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/files-checker.php b/build/files-checker.php index b8c60727b0c..08cf21dde8d 100644 --- a/build/files-checker.php +++ b/build/files-checker.php @@ -70,6 +70,7 @@ $expectedFiles = [ 'ocs', 'package-lock.json', 'package.json', + 'psalm.xml', 'public.php', 'README.md', 'remote.php', |