From f4da01294023146cd1f4bc13f1ba5f77702bb41b Mon Sep 17 00:00:00 2001 From: Alexis Degrugillier Date: Sun, 11 Mar 2018 10:53:32 +0100 Subject: Add option to ignore keys in cli tool --- cli/i18n/I18nFile.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'cli/i18n/I18nFile.php') diff --git a/cli/i18n/I18nFile.php b/cli/i18n/I18nFile.php index a07efdf88..bdcf3c079 100644 --- a/cli/i18n/I18nFile.php +++ b/cli/i18n/I18nFile.php @@ -1,8 +1,9 @@ i18nPath); foreach ($dirs as $dir) { if ($dir->isDot()) { -- cgit v1.2.3