pgettext wrapper for php gettext