Index of /extensions/WikiEditor/

 Name                                                                             Last modified         Size  Description 
   
 Parent Directory                                                                 16-Jun-2019 18:54        -       
 i18n                                                                             16-Jun-2019 18:54        -       
 includes                                                                         16-Jun-2019 18:54        -       
 modules                                                                          16-Jun-2019 18:54        -       
 tests                                                                            16-Jun-2019 18:54        -       
 CODE_OF_CONDUCT.md                                                               06-Jun-2019 15:34       4k       
 Gruntfile.js                                                                     05-Jun-2019 20:14       4k       
 composer.json                                                                    06-Jun-2019 15:34       4k       
 COPYING                                                                          12-Dec-2018 23:36      20k       
 extension.json                                                                   06-Jun-2019 15:34      20k       

WikiEditor provides enhancements to the MediaWiki edit page

# This extension requires MediaWiki 1.28 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:

	wfLoadExtensions( "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