Translations:Extension:Mailman/13/en

Then add the following to LocalSettings.php: