PHP extension for gettext support
