Require the gettext php extension

Used by e.g. the bindtextdomain() function