MediaWiki diskussion:Edittools

Edittools er værktøjet under redigeringsboksen og 'Gem side'-knappen, som kræver Extension:CharInsert, der i 'LocalSettings.php' aktiveres med:

require_once("$IP/extensions/CharInsert/CharInsert.php");

Rul-ned boks og knapper med behagelig udseende tilføjes med 'Gadget-Edittools.js', der aktiveres for alle ved at indsætte følgende i 'MediaWiki:Common.js':

importScript( 'MediaWiki:Gadget-Edittools.js' );

Hvilke knapper, der skal indgå i værktøjet, bestemmes i 'MediaWiki:Edittools', og udvælgelsen bør sammen med WikiEditor oven for redigeringsfeltet ske i fælles overensstemmelse, så færrest mulige funktioner indgår begge steder..

Se også mw:MediaWiki:Edittools og mw:MediaWiki talk:Edittools.