Translations:Extension:WikiEditor/9/en

Add the above code at the bottom of your LocalSettings.php.