diff options
Diffstat (limited to 'cli/i18n/I18nFile.php')
| -rw-r--r-- | cli/i18n/I18nFile.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cli/i18n/I18nFile.php b/cli/i18n/I18nFile.php index 6771dfbff..48b9710bf 100644 --- a/cli/i18n/I18nFile.php +++ b/cli/i18n/I18nFile.php @@ -65,7 +65,10 @@ class I18nFile { * @return array<string,string|array<string,mixed>> */ private function process(string $filename): array { - $fileContent = file_get_contents($filename) ?: []; + $fileContent = file_get_contents($filename); + if (!is_string($fileContent)) { + return []; + } $content = str_replace('<?php', '', $fileContent); $content = preg_replace([ |