diff options
| author | 2018-03-11 10:53:32 +0100 | |
|---|---|---|
| committer | 2018-03-11 10:53:32 +0100 | |
| commit | f4da01294023146cd1f4bc13f1ba5f77702bb41b (patch) | |
| tree | fa865d9277bea7cca4964fcf861a7cece08455ac /cli/i18n/I18nFileInterface.php | |
| parent | 2f98978f6def423c46fe668b57107b3019b7a744 (diff) | |
Add option to ignore keys in cli tool
Diffstat (limited to 'cli/i18n/I18nFileInterface.php')
| -rw-r--r-- | cli/i18n/I18nFileInterface.php | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/cli/i18n/I18nFileInterface.php b/cli/i18n/I18nFileInterface.php new file mode 100644 index 000000000..c5aaf9fcd --- /dev/null +++ b/cli/i18n/I18nFileInterface.php @@ -0,0 +1,10 @@ +<?php + +require_once __DIR__ . '/I18nData.php'; + +interface I18nFileInterface { + + public function load(); + + public function dump(I18nData $i18n); +} |
