MediaWiki:Gadget-pulsanti-diacritici

Aggiunge il pulsante alla toolbar di modifica; il tool consente la modifica diretta di diacritici.