diff options
| -rw-r--r-- | cli/i18n/I18nFile.php | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/cli/i18n/I18nFile.php b/cli/i18n/I18nFile.php index ef8f8776e..a7045459c 100644 --- a/cli/i18n/I18nFile.php +++ b/cli/i18n/I18nFile.php @@ -54,16 +54,24 @@ class I18nFile { $content = str_replace('<?php', '', $content); $content = preg_replace([ - "#',\s*//\s*TODO#i", - "#',\s*//\s*DIRTY#i", - "#',\s*//\s*IGNORE#i", + "#',\s*//\s*TODO.*#i", + "#',\s*//\s*DIRTY.*#i", + "#',\s*//\s*IGNORE.*#i", ], [ ' -> todo\',', ' -> dirty\',', ' -> ignore\',', ], $content); - $content = eval($content); + try { + $content = eval($content); + } catch (ParseError $ex) { + if (defined('STDERR')) { + fwrite(STDERR, "Error while processing: $filename\n"); + fwrite(STDERR, $ex); + } + die(1); + } if (is_array($content)) { return $content; |