mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
97417af20c
The only issue is that the badge is not up to date till you refresh the page, I think that's fine for now Change-Id: I585b4cc185bf859ddb06829df75309ff3d56d8b8 |
||
---|---|---|
.. | ||
NotificationController.php |