Index of /extensions/WikiEditor/

 Name                                                                             Last modified         Size  Description 
   
 Parent Directory                                                                 12-Aug-2019 16:14        -       
 i18n                                                                             12-Aug-2019 16:14        -       
 includes                                                                         12-Aug-2019 16:14        -       
 modules                                                                          12-Aug-2019 16:14        -       
 tests                                                                            12-Aug-2019 16:14        -       
 CODE_OF_CONDUCT.md                                                               02-Jul-2019 19:02       4k       
 Gruntfile.js                                                                     02-Jul-2019 19:39       4k       
 composer.json                                                                    02-Jul-2019 19:39       4k       
 extension.json                                                                   02-Jul-2019 19:39      16k       
 COPYING                                                                          13-Dec-2018 05:06      20k       

WikiEditor provides enhancements to the MediaWiki edit page

# This extension requires MediaWiki 1.33 or higher.

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