wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Log Special:Notifications page visits"

Browse source
This commit is contained in:
jenkins-bot 2016-08-16 00:23:31 +00:00 committed by Gerrit Code Review
parent 951f146b54 015acb5407
commit dc397a9ec4
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
includes/special/SpecialNotifications.php
View file

@ -158,6 +158,20 @@ class SpecialNotifications extends SpecialPage {
// For no-js support
$out->addModuleStyles( array( 'ext.echo.styles.notifications', 'ext.echo.styles.special' ) );
// Log visit
MWEchoEventLogging::actuallyLogTheEvent(
'EchoInteraction',
array(
'context' => 'archive',
'action' => 'special-page-visit',
'userId' => (int)$user->getId(),
'editCount' => (int)$user->getEditCount(),
'notifWiki' => wfWikiID(),
// Hack: Figure out if we are in the mobile skin
'mobile' => $out->getSkin()->getSkinName() === 'minerva',
)
);
}
/**