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

EventLogging: Make sure eventId is an integer

Browse source 
Bug: T116205
Change-Id: Ifb9119cbd24b58f24a0eaa0a17a1345220374a4a
This commit is contained in:
Kunal Mehta 2015-10-21 11:08:31 -07:00
parent 4bb180103b
commit 7f6f6536ed
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

@ -48,7 +48,7 @@ class MWEchoEventLogging {
}
$data = array(
'version' => $wgEchoConfig['version'],
'eventId' => $event->getId(),
'eventId' => (int)$event->getId(),
'notificationType' => $event->getType(),
'notificationGroup' => $group,
'sender' => (string)$sender,