mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-14 19:31:55 +00:00
55b89c1ede
Respect the config var exported by WikimediaEvents that, if set to true, forces oversampling. When oversampling, all events are logged even if they would have been sampled out. The isOversample property is set to true if the event was oversampled and would not otherwise have been logged. Bug: T206543 Depends-On: I5fdf5fdd2dc0d99a0a0d7eb7ab2e3dce4798009b Change-Id: I7e504884a888c4d080cd4762549b72489126ed65 |
||
---|---|---|
i18n | ||
includes | ||
modules | ||
tests | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.phpcs.xml | ||
.stylelintrc.json | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
README |
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