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

Merge "Logging: platform as phone/desktop depending on whether MF is active"

Browse source
This commit is contained in:
jenkins-bot 2022-08-19 22:45:04 +00:00 committed by Gerrit Code Review
parent c1049bb4da acadaf7f1e
commit ab8b1fe815
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/logger.js
View file

@ -59,7 +59,8 @@ mw.loader.using( 'ext.eventLogging' ).done( function () {
user_class: user.isAnon() ? 'IP' : undefined,
user_editcount: mw.config.get( 'wgUserEditCount', 0 ),
mw_version: mw.config.get( 'wgVersion' ),
platform: 'desktop',
// T249944 may someday change this to not hang from MobileFrontend
platform: mw.config.get( 'wgMFMode' ) !== null ? 'phone' : 'desktop',
integration: 'discussiontools',
page_token: user.getPageviewToken(),
session_token: user.sessionId(),
@ -73,7 +74,8 @@ mw.loader.using( 'ext.eventLogging' ).done( function () {
{
user_id: user.getId(),
user_editcount: mw.config.get( 'wgUserEditCount', 0 ),
platform: 'desktop',
// T249944 may someday change this to not hang from MobileFrontend
platform: mw.config.get( 'wgMFMode' ) !== null ? 'phone' : 'desktop',
integration: 'discussiontools'
}
);