mirror of
https://github.com/FreshRSS/Extensions.git
synced 2026-11-04 10:48:40 +00:00
31 lines
642 B
Plaintext
31 lines
642 B
Plaintext
parameters:
|
|
phpVersion:
|
|
min: 80100 # PHP 8.1
|
|
max: 80599 # PHP 8.5
|
|
level: 0 # https://phpstan.org/user-guide/rule-levels
|
|
fileExtensions:
|
|
- php
|
|
- phtml
|
|
paths:
|
|
- ../FreshRSS
|
|
- third-party/
|
|
excludePaths:
|
|
analyse:
|
|
- ../FreshRSS
|
|
- third-party/*/composer-setup.php
|
|
- third-party/*/vendor/*?
|
|
analyseAndScan:
|
|
- .git/*?
|
|
- node_modules/*?
|
|
- symbolic/*?
|
|
- third-party/*/tests/*?
|
|
- third-party/*/phpstan-bootstrap.php
|
|
- tmp/*?
|
|
- vendor/
|
|
- xExtension-*
|
|
reportUnmatchedIgnoredErrors: false
|
|
dynamicConstantNames:
|
|
- TYPE_GIT
|
|
reportMaybesInPropertyPhpDocTypes: false
|
|
treatPhpDocTypesAsCertain: false
|