aboutsummaryrefslogtreecommitdiff
path: root/phpstan.neon
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-11-24 14:50:03 +0100
committerGravatar GitHub <noreply@github.com> 2023-11-24 14:50:03 +0100
commit76cbfadcdfdcbf675b83f6162a229938aca3bbe1 (patch)
tree01aa96c6774dcf2a692fd3062ae1ffccb0a8bfa0 /phpstan.neon
parentbc9ef0d188fa43d4a4d06835f74e2d94799b65c6 (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.neon4
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