diff options
| author | 2023-05-15 19:26:48 +0200 | |
|---|---|---|
| committer | 2023-05-15 19:26:48 +0200 | |
| commit | 2038d50110468d95ff978ba2e8f997175f25ff3b (patch) | |
| tree | a9bc4bc364fe0c9b452702f3324a2091229e5fce /config.default.php | |
| parent | c8d2ead7635e58a5c78d95a9b9a1a74e99a1bcef (diff) | |
PHPStan Level 7 for Minz_Request, FreshRSS_Feed, Minz_Error (#5400)
* PHPStan Level 7 for Minz_Request
* PHPStan Level 7 for FreshRSS_Feed
* PHPStan Level 7 for Minz_Error
Diffstat (limited to 'config.default.php')
0 files changed, 0 insertions, 0 deletions
