Vai al contenuto

MediaWiki:Gadget-pulsanti-diacritici

Da Wikisource.

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