php error message convert gettext output