gettext.php is changed