An example of how to use Gettext with PHP.