mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-15 11:59:11 +00:00
71999b28c4
Hide the 'mark all read' button while we fetch notifications. We can't mark all as read before there are any actual unread notifications in the popup anyways. Change-Id: I38ace6a3f8b7898bdcd82ce650947f0c7ef319e2 |
||
---|---|---|
.. | ||
styles | ||
mw.echo.ui.js | ||
mw.echo.ui.NotificationBadgeWidget.js | ||
mw.echo.ui.NotificationOptionWidget.js | ||
mw.echo.ui.NotificationsWidget.js |