MediaWiki:Gadget-Edittools

Edittools: adds a box underneath the edit box for quick access to special characters.