wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/gateway
History
Umherirrender eba147a1b4 Always return false on EchoUserNotificationGateway::markRead 
Also rename some variables.
$res indicate a ResultSet, not a bool

Change-Id: I4f0276cbe01a0391b4bd2616e111067b40363fea
2017-10-06 22:22:33 +00:00
..
UserNotificationGateway.php Always return false on EchoUserNotificationGateway::markRead 2017-10-06 22:22:33 +00:00