diff options
| author | Roeland Jago Douma <roeland@famdouma.nl> | 2020-12-30 16:32:15 +0300 |
|---|---|---|
| committer | Roeland Jago Douma <roeland@famdouma.nl> | 2020-12-30 16:32:15 +0300 |
| commit | 81423a2a2f5ea9d1352092703907db5015604135 (patch) | |
| tree | d7293ff674f280f75f79017938b678a58a56ecba /build | |
| parent | c96bb21ab9723a4dc3f23d61de21238c64316978 (diff) | |
Fix expceted psalm-ocp.xml file
Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
Diffstat (limited to 'build')
| -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 08cf21dde8d..194ba546aec 100644 --- a/build/files-checker.php +++ b/build/files-checker.php @@ -71,6 +71,7 @@ $expectedFiles = [ 'package-lock.json', 'package.json', 'psalm.xml', + 'psalm-ocp.xml', 'public.php', 'README.md', 'remote.php', |