| Index: trunk/extensions/WikiEditor/README |
| — | — | @@ -0,0 +1,17 @@ |
| | 2 | +# Enhancements to the MediaWiki edit page |
| | 3 | +# |
| | 4 | +# This is a MediaWiki 1.17+ compatible version of the former UsabilityInitiative/WikiEditor extension. The key |
| | 5 | +# differences between these versions is in the usage of ResourceLoader. |
| | 6 | +# |
| | 7 | +# To get this working on your wiki |
| | 8 | + |
| | 9 | +require_once( "$IP/extensions/WikiEditor/WikiEditor.php" ); |
| | 10 | + |
| | 11 | +# Before configuring this extension, see MediaWiki.php and become familiar with the initial state and structure of the |
| | 12 | +# $wgWikiEditorFeatures configuration variable. Essentially it's an array or arrays, keyed by feature name, each |
| | 13 | +# containing global and user keys with boolean values. "global" indicates that it should be turned on for everyone |
| | 14 | +# always, while user indicates that users should be allowed to turn it on or off in their user preferences. |
| | 15 | + |
| | 16 | +# To enable a preference by default but still allow users to disable it in preferences, use something like... |
| | 17 | + |
| | 18 | +$wgDefaultUserOptions['wikieditor-preview'] = 1; |