Update Gettext.php

removed double semicolon