MediaWiki:Gadget-editing editing buttons

Editing Editing Buttons: Adds a collection of buttons to insert various tags (e.g., etc.) and also one for #Redirect.