wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 06:24:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VisualEditorFeatureUse with new fields"

Browse source
This commit is contained in:
jenkins-bot 2020-06-10 19:53:49 +00:00 committed by Gerrit Code Review
parent fd8265c8ac 648bffd3b9
commit bfdd39ed79
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/ve-mw/init/ve.init.mw.trackSubscriber.js
View file

@ -236,11 +236,18 @@
return;
}
/* eslint-disable camelcase */
event = {
feature: feature,
action: data.action,
editingSessionId: editingSessionId
editingSessionId: editingSessionId,
user_id: mw.user.getId(),
user_editcount: mw.config.get( 'wgUserEditCount', 0 ),
editor_interface: ve.getProp( ve, 'init', 'target', 'surface', 'mode' ) === 'source' ? 'wikitext-2017' : 'visualeditor',
integration: ve.getProp( ve, 'init', 'target', 'constructor', 'static', 'integrationType' ) || 'page',
platform: ve.getProp( ve, 'init', 'target', 'constructor', 'static', 'platformType' ) || 'other'
};
/* eslint-enable camelcase */
if ( trackdebug ) {
log( topic, event );