Translations:Extension:WikiEditor/77/en

If you wish all users to have it, and be unable to disable it, add it to  in your LocalSettings.php: