Extension:WikiEditor

Terug naar Mediawiki

Beschrijving

Wikieditor tekstverwerker voor mediawiki is tegenwoordig standaard als extensie aanwezig

Installeren

  1. 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;

Externe Links