Extension:WikiEditor: verschil tussen versies
a>Admin Nieuwe pagina aangemaakt met '{{sys:back|page=Mediawiki}} {{Extension:{{sys:titlepart}}}} Categorie:Mediawiki Extension' |
k 1 versie geïmporteerd |
(geen verschil)
| |
Huidige versie van 13 sep 2020 om 19:38
Terug naar Mediawiki
Beschrijving
Wikieditor tekstverwerker voor mediawiki is tegenwoordig standaard als extensie aanwezig
Installeren
- Neem in LocalSettings.php de volgende regel op:
# wiki WikiEditor require_once "$IP/extensions/WikiEditor/WikiEditor.php"; # Enables use of WikiEditor by default but still allow users to disable it in preferences $wgDefaultUserOptions['usebetatoolbar'] = 1; $wgDefaultUserOptions['usebetatoolbar-cgd'] = 1; # Displays the Preview and Changes tabs $wgDefaultUserOptions['wikieditor-preview'] = 1; # Displays the Publish and Cancel buttons on the top right side $wgDefaultUserOptions['wikieditor-publish'] = 1;