mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-23 10:26:26 +00:00
77cea2697c
These features were ideas in the Usability Initiative but were never finished to the level that they would be deployed on Wikimedia wikis and have been marked as "going to be removed" for years. Now is time to act on that promise. Change-Id: Ia1eb91d2dfb1979518d97badc1477146b4606f7c |
||
---|---|---|
i18n | ||
modules | ||
tests | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.phpcs.xml | ||
.stylelintrc.json | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
README | ||
WikiEditorHooks.php |
# WikiEditor provides enhancements to the MediaWiki edit page # This extension requires MediaWiki 1.28 or higher. # Example LocalSettings.php additions wfLoadExtension( 'WikiEditor' ); # 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;