mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-25 08:15:35 +00:00
ff0784e7da
This also updates the way how mark all as read works Change-Id: Ifb7b1b7b7feb4a5af65c79bb16b91a5a9c70166c |
||
---|---|---|
.. | ||
UserNotificationGateway.php |