Go to file
2010-10-07 19:25:06 +00:00
modules Made use of mediaWiki.loader for adding in mediawiki.legacy.diff for the change tab of jquery.wikiEditor.preview 2010-10-05 22:06:16 +00:00
README Fixed typo in README 2010-10-01 19:32:11 +00:00
WikiEditor.hooks.php Got more dialogs working again 2010-10-04 21:08:41 +00:00
WikiEditor.i18n.php Localisation updates for core and extension messages from translatewiki.net (2010-10-07 19:02:00 UTC) 2010-10-07 19:25:06 +00:00
WikiEditor.php Got more dialogs working again 2010-10-04 21:08:41 +00:00

# WikiEditor provides enhancements to the MediaWiki edit page

# This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader.

# Example LocalSettings.php additions

require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );

# Before configuring this extension, see WikiEditor.php and become familiar with the initial state and structure of the
# $wgWikiEditorFeatures configuration variable. Essentially it's an array of arrays, keyed by feature name, each
# 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;
$wgDefaultUserOptions['wikieditor-preview'] = 1;