Forskel mellem versioner af "MediaWiki diskussion:Edittools"
Hp (diskussion | bidrag) |
Hp (diskussion | bidrag) |
||
| Linje 1: | Linje 1: | ||
| − | ' | + | Edittools er værktøjet under redigeringsboksen og 'Gem side'-knappen, som kræver [[mw:Extension:CharInsert|Extension]]:[[mw:Special:ExtensionDistributor/CharInsert|CharInsert]], der i 'LocalSettings.php' aktiveres med: |
require_once("$IP/extensions/CharInsert/CharInsert.php"); | require_once("$IP/extensions/CharInsert/CharInsert.php"); | ||
| − | + | Rul-ned boks og knapper med behagelig udseende tilføjes med '[[Speciel:Gadgets|Gadget]]-[[MediaWiki:Gadget-Edittools.js|Edittools.js]]', der aktiveres for alle ved at indsætte følgende i '[[MediaWiki:Common.js]]': | |
importScript( 'MediaWiki:Gadget-Edittools.js' ); | importScript( 'MediaWiki:Gadget-Edittools.js' ); | ||
| − | + | ||
| + | Hvilke knapper, der skal indgå i værktøjet, bestemmes i '[[MediaWiki:Edittools]]'. | ||
Se også [[mw:MediaWiki:Edittools]] og [[mw:MediaWiki talk:Edittools]]. | Se også [[mw:MediaWiki:Edittools]] og [[mw:MediaWiki talk:Edittools]]. | ||
[[Kategori:MediaWiki]] | [[Kategori:MediaWiki]] | ||
Versionen fra 7. apr 2012, 19:59
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'.
Se også mw:MediaWiki:Edittools og mw:MediaWiki talk:Edittools.
