Script for enabling missing Visual Editor button

The Visual Editor extension sometimes does not display the Edit button even if the extension is enabled, likely due to a bug. If you've enabled the extension but the Edit button is not visible, the following script can be used to force it to appear. Simply copy the following code and paste it into Mediawiki:Common.js on your wiki (if there is already code on that page, simply place this code after it.)

The new button's text might not automatically change its language based on the user's language. If this is the case, change the values for  and   in the code below to your preferred language.

The script has not been extensively tested yet, so it may have bugs. If you encounter issues, post on the talk page for this script or ask about it on IRC/Discord.