diff options
| author | 2023-11-24 14:50:03 +0100 | |
|---|---|---|
| committer | 2023-11-24 14:50:03 +0100 | |
| commit | 76cbfadcdfdcbf675b83f6162a229938aca3bbe1 (patch) | |
| tree | 01aa96c6774dcf2a692fd3062ae1ffccb0a8bfa0 /phpstan.neon | |
| parent | bc9ef0d188fa43d4a4d06835f74e2d94799b65c6 (diff) | |
Fix types for extensions (#5901)
* Fix types for extensions
To accompany https://github.com/FreshRSS/Extensions/pull/185
* Avoid bug redeclared function
Diffstat (limited to 'phpstan.neon')
| -rw-r--r-- | phpstan.neon | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/phpstan.neon b/phpstan.neon index e9c37e44e..e262ad984 100644 --- a/phpstan.neon +++ b/phpstan.neon @@ -16,6 +16,9 @@ parameters: - vendor/* analyseAndScan: - .git/* + - extensions/node_modules + - extensions/symbolic + - extensions/vendor - node_modules/* bootstrapFiles: - cli/_cli.php @@ -32,6 +35,7 @@ parameters: - STDOUT - TMP_PATH - USERS_PATH + reportMaybesInPropertyPhpDocTypes: false strictRules: allRules: false booleansInConditions: false # TODO pass |
