mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 08:14:33 +00:00
f39dddaee5
The EditAttemptStep instrument is a candidate for migration to the Metrics Platform [0]. The first step of the migration is to log events both using the Event Platform (i.e. via mw.eventLog.submit()) and using the Metrics Platform Client (i.e. via mw.eventLog.dispatch()). The Metrics Platform Client can mix in additional information - so-called context attributes [1] - based on the stream configuration. The majority of the default values mixed into each event via the mw.eventLog.Schema defaults mechanism are already known to the Metrics Platform Client. Note well that the Metrics Platform Client will not log an event without one or more streams being configured to receive that event. Therefore, this change is a NOP. An example stream configuration is given in [2]. [0] https://wikitech.wikimedia.org/wiki/Metrics_Platform [1] https://gerrit.wikimedia.org/g/mediawiki/libs/metrics-platform/+/aed6738b845/js/src/StreamConfig.d.ts#31 [2] https://phabricator.wikimedia.org/T309013#7953227 Bug: T309013 Bug: T320281 Change-Id: Ia08bac484fb3a2209879531def859a01290120fd |
||
---|---|---|
.phan | ||
i18n | ||
includes | ||
modules | ||
tests/qunit | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.phpcs.xml | ||
.stylelintrc.json | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
jsdoc.json | ||
package-lock.json | ||
package.json | ||
README |
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