wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 01:30:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Log Special:Notifications page visits

Browse source 
Bug: T121939
Change-Id: Icfe63fb8daa8e8fba029e22b4de3e4f65517c448
This commit is contained in:
Moriel Schottlender 2016-08-04 14:51:59 -07:00
parent 61e9957a95
commit 015acb5407
2 changed files with 15 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Echo.php
View file

@ -568,7 +568,7 @@ $wgEchoConfig = array(
),
'EchoInteraction' => array(
'enabled' => false,
'revision' => 15180901,
'revision' => 15823738,
'client' => true,
),
)

14
includes/special/SpecialNotifications.php
View file

@ -157,6 +157,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',
)
);
}
/**