MediaWiki:Gadget-EditSwitch

Edit Switch — Shows a button to easily switch between source and visual editors inside the editor.