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

Merge "Echo: Remove redundant cast"

Browse source
This commit is contained in:
jenkins-bot 2021-02-03 07:46:21 +00:00 committed by Gerrit Code Review
parent 2967f6cb45 5b032f5589
commit 4029279de1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/EventLogging.php
View file

@ -117,7 +117,7 @@ class MWEchoEventLogging {
[ [
'context' => 'archive', 'context' => 'archive',
'action' => 'special-page-visit', 'action' => 'special-page-visit',
'userId' => (int)$user->getId(), 'userId' => $user->getId(),
'editCount' => (int)$user->getEditCount(), 'editCount' => (int)$user->getEditCount(),
'notifWiki' => wfWikiID(), 'notifWiki' => wfWikiID(),
// Hack: Figure out if we are in the mobile skin // Hack: Figure out if we are in the mobile skin