diff options
author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2023-04-03 09:54:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-03 09:54:13 +0200 |
commit | 8e529df6ae5dfb5df987919d11a49828e19f6dbc (patch) | |
tree | 77154f1c65aec64dee538f665316d90680b87f1b /psalm.xml | |
parent | cac31061c75e5a0f7123022d44ed19becbb8413d (diff) | |
parent | fa53c7c5a72723f4839fde03791e1c2433ae056d (diff) | |
download | nextcloud-server-8e529df6ae5dfb5df987919d11a49828e19f6dbc.tar.gz nextcloud-server-8e529df6ae5dfb5df987919d11a49828e19f6dbc.zip |
Merge pull request #37505 from nextcloud/fix/recommended-psalm-options
Set recommended psalm options
Diffstat (limited to 'psalm.xml')
-rw-r--r-- | psalm.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/psalm.xml b/psalm.xml index 7ddce05c549..cd50a2722da 100644 --- a/psalm.xml +++ b/psalm.xml @@ -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" /> |