mediawiki-extensions-WikiEd.../README

18 lines
908 B
Plaintext
Raw Normal View History

# WikiEditor provides enhancements to the MediaWiki edit page
# This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader.
# Example LocalSettings.php additions
2010-09-16 23:30:21 +00:00
require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
2010-10-01 19:26:08 +00:00
# Before configuring this extension, see WikiEditor.php and become familiar with the initial state and structure of the
2010-10-01 19:32:11 +00:00
# $wgWikiEditorFeatures configuration variable. Essentially it's an array of arrays, keyed by feature name, each
2010-09-16 23:30:21 +00:00
# containing global and user keys with boolean values. "global" indicates that it should be turned on for everyone
# always, while user indicates that users should be allowed to turn it on or off in their user preferences.
# To enable a preference by default but still allow users to disable it in preferences, use something like...
$wgDefaultUserOptions['usebetatoolbar'] = 1;
$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;