diff options
| author | 2024-12-27 12:12:49 +0100 | |
|---|---|---|
| committer | 2024-12-27 12:12:49 +0100 | |
| commit | b1d24fbdb7d1cc948c946295035dad6df550fb7e (patch) | |
| tree | 7b4365a04097a779659474fbb9281a9661512522 /cli/check.translation.php | |
| parent | 897e4a3f4a273d50c28157edb67612b2d7fa2e6f (diff) | |
PHPStan 2.0 (#7131)
* PHPStan 2.0
fix https://github.com/FreshRSS/FreshRSS/issues/6989
https://github.com/phpstan/phpstan/releases/tag/2.0.0
https://github.com/phpstan/phpstan/blob/2.0.x/UPGRADING.md
* More
* More
* Done
* fix i18n CLI
* Restore a PHPStan Next test
For work towards PHPStan Level 10
* 4 more on Level 10
* fix getTagsForEntry
* API at Level 10
* More Level 10
* Finish Minz at Level 10
* Finish CLI at Level 10
* Finish Controllers at Level 10
* More Level 10
* More
* Pass bleedingEdge
* Clean PHPStan options and add TODOs
* Level 10 for main config
* More
* Consitency array vs. list
* Sanitize themes get_infos
* Simplify TagDAO->getTagsForEntries()
* Finish reportAnyTypeWideningInVarTag
* Prepare checkBenevolentUnionTypes and checkImplicitMixed
* Fixes
* Refix
* Another fix
* Casing of __METHOD__ constant
Diffstat (limited to 'cli/check.translation.php')
| -rwxr-xr-x | cli/check.translation.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cli/check.translation.php b/cli/check.translation.php index b452054ed..d209383a8 100755 --- a/cli/check.translation.php +++ b/cli/check.translation.php @@ -82,7 +82,7 @@ if (!$isValidated) { * Iterates through all php and phtml files in the whole project and extracts all * translation keys used. * - * @return array<string> + * @return list<string> */ function findUsedTranslations(): array { $directory = new RecursiveDirectoryIterator(__DIR__ . '/..'); @@ -90,6 +90,9 @@ function findUsedTranslations(): array { $regex = new RegexIterator($iterator, '/^.+\.(php|phtml)$/i', RecursiveRegexIterator::GET_MATCH); $usedI18n = []; foreach (array_keys(iterator_to_array($regex)) as $file) { + if (!is_string($file) || $file === '') { + continue; + } $fileContent = file_get_contents($file); if ($fileContent === false) { continue; |
