diff --git a/tools/i18n_compile.php b/tools/i18n_compile.php new file mode 100755 index 00000000..c85ccb83 --- /dev/null +++ b/tools/i18n_compile.php @@ -0,0 +1,44 @@ +#!/usr/bin/php +