MediaWiki:Gadget-Edittools

Edittools: aggiunge al box contenente i comandi wiki (in basso sotto la barra Oggetto in modalità di modifica), un menù a discesa che permette di inserire caratteri e simboli particolari (alfabeto latino, greco, simboli matematici ecc.)