added link to php-gettext