nextcloud
/
server
mirror of https://github.com/nextcloud/server
0
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #37505 from nextcloud/fix/recommended-psalm-options 

Set recommended psalm options
This commit is contained in:
Joas Schilling 2023-04-03 09:54:13 +02:00 committed by GitHub
parent cac31061c7 fa53c7c5a7
commit 8e529df6ae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
psalm-ocp.xml
View File

@ -6,6 +6,8 @@
xmlns="https://getpsalm.org/schema/config"
xsi:schemaLocation="https://getpsalm.org/schema/config"
errorBaseline="build/psalm-baseline-ocp.xml"
findUnusedBaselineEntry="true"
findUnusedCode="false"
>
<plugins>
<plugin filename="build/psalm/AppFrameworkTainter.php" />

2
psalm.xml
View File

@ -6,6 +6,8 @@
xmlns="https://getpsalm.org/schema/config"
xsi:schemaLocation="https://getpsalm.org/schema/config"
errorBaseline="build/psalm-baseline.xml"
findUnusedBaselineEntry="true"
findUnusedCode="false"
>
<plugins>
<plugin filename="build/psalm/AppFrameworkTainter.php" />