mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
48ca4aeb5e
At the time that resetNotificationCount() is called, we've only just moderated something, so the slave won't have those changes yet, and the computed notification count will be wrong. Change-Id: Ia83f2b9cf7f4bbaee25e03f7bc8f73bcd4d345f9 |
||
---|---|---|
.. | ||
ModerationController.php | ||
NotificationController.php |