MediaWiki diskussion:Edittools

Version fra 21. dec. 2022, 06:58 af HP (diskussion | bidrag) HP (diskussion | bidrag) (Text replacement - "[[wp:" to "[[w:")
(forskel) ←Ældre version | Nuværende version (forskel) | Nyere version → (forskel)
Spring til navigation Spring til søgning

Den forbedrede værktøjslinje til redigering under redigeringsboksen og 'Gem side'-knappen, er en betafunktion, der kræver Extension:CharInsert, der i 'LocalSettings.php' aktiveres med:

wfLoadExtension( 'CharInsert' );

Rul-ned menu og behageligt udseende knapper tilføjes med 'Gadget-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 */
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.

HTML-bogstavskode kan være nødvendig ved alternativt ordbogsopslag angivet med parameter.