mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
6175a9c1b5
There is currently a hard cap of badge display count. We'll want to be able to request a different count for other purposes: cleaning up old notifications, for example. We want to keep around a certain amount of motifications (which is higher than the display count) so we must be able to query a different count. Change-Id: Id460fd7f46e397d22da49283b30fd12a6bbb0c9f |
||
---|---|---|
.. | ||
UserNotificationGateway.php |