Update GettextTranslationExtension.php