Translations:Extension:FlaggedRevs/172/en

Be sure to change only localsettings.php to set configuration options rather than editing this file.