1<?php 2/** 3 * english language file 4 * 5 * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 6 * @author Yamada, M. <yamadam@mizar.work> 7 */ 8 9 $lang['mizar_work_dir'] = 'Mizar work directory (includes subdirectories like TEXT, DICT, and PREL)'; 10 $lang['mizar_share_dir'] = 'Mizar shared files directory'; 11 $lang['mizar_exe_dir'] = 'Mizar executables directory';