Redigerer MediaWiki diskussion:Edittools
Advarsel: Du er ikke logget på. Din IP-adresse vil blive offentligt tilgængelig, hvis du foretager nogen ændringer. Hvis du logger på eller opretter en konto vil dine redigeringer blive tilskrevet dit brugernavn, og du vil få flere andre fordele.
Redigeringen kan fjernes.
Kontroller venligst sammenligningen herunder for at bekræfte at det er hvad du ønsker at gøre, og gem så ændringerne for at fuldføre fjernelsen.
Nuværende version | Din tekst | ||
Linje 1: | Linje 1: | ||
Den forbedrede værktøjslinje til redigering under redigeringsboksen og 'Gem side'-knappen, er en betafunktion, der kræver [[mw:Extension:CharInsert|Extension]]:[[mw:Special:ExtensionDistributor/CharInsert|CharInsert]], der i 'LocalSettings.php' aktiveres med: | Den forbedrede værktøjslinje til redigering under redigeringsboksen og 'Gem side'-knappen, er en betafunktion, der kræver [[mw:Extension:CharInsert|Extension]]:[[mw:Special:ExtensionDistributor/CharInsert|CharInsert]], der i 'LocalSettings.php' aktiveres med: | ||
− | + | require_once("$IP/extensions/CharInsert/CharInsert.php"); | |
− | |||
Rul-ned menu og behageligt udseende knapper 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]]': | Rul-ned menu og behageligt udseende knapper 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]]': | ||
/* aktiverer rul-ned menu og knapper for alle, ret også i LocalSettings */ | /* aktiverer rul-ned menu og knapper for alle, ret også i LocalSettings */ |