MediaWiki/Edittools
L'Edittools è uno strumento che aiuta durante la modifica delle pagine del wiki. È un riquadro che contiene dei collegamenti realizzati tramite l'estensione CharInsert.
Ognuno di questi collegamenti, quando viene attivato, aggiunge in automatico un certo testo alla casella di testo presente nella pagina che si sta visitando. Quindi funzionano ad es.
- durante la modifica di una pagina del wiki
- durante il caricamento di un file
- ...
Il riquadro che li contiene si trova nella pagina MediaWiki:Edittools del wiki (modificabile solo da amministratori). Le istruzioni dettagliate per configurarlo sono sul sito di MediaWiki (Extension:CharInsert e MediaWiki_talk:Edittools).
Ad esempio, l'Edittools può contenere
- lettere che non sono sulla tastiera
- tag HTML
- template usati di frequente sulla wiki
- ...
