mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 11:05:51 +00:00
8a57d552bf
The required version is already documented in extension.json and doesn't need to be repeated in README (where it gets forgotten and not updated). Change-Id: I667c9a00c0df381c506c877b5ea2786604ec05e8
15 lines
625 B
Plaintext
15 lines
625 B
Plaintext
WikiEditor provides enhancements to the MediaWiki edit page
|
|
|
|
For installation, once the code is copied into your extensions directory, you can load it for your
|
|
wiki by adding to LocalSettings.php the line:
|
|
|
|
wfLoadExtension( 'WikiEditor' );
|
|
|
|
By default, when installed this extension will be available to all users, and logged-in users can
|
|
disable it from their preferences. If you wish all users to have it, and be unable to disable it,
|
|
add it to $wgHiddenPrefs in your LocalSettings.php:
|
|
|
|
$wgHiddenPrefs[] = 'usebetatoolbar';
|
|
|
|
More can be found on the extension's page: https://www.mediawiki.org/wiki/Extension:WikiEditor
|