Basic gettext usage in PHP sample