mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +00:00
cf99479468
The zero results can either be because there are no notifications at all for this user in the local wiki, or because there are no results for the specific filter. Both messages are used for either case. Also, clean up the display of push/pop pending for the inbox widget and hide the label in case the message count is 0 or 1 notifications as it is unhelpful and irrelevant in these cases. Bug: T136586 Bug: T136574 Bug: T129363 Change-Id: I1465f772bb9f5247df645d6612f951e5fd7d38cf |
||
---|---|---|
.. | ||
mw.echo.ui.ActionMenuPopupWidget.js | ||
mw.echo.ui.BadgeLinkWidget.js | ||
mw.echo.ui.CrossWikiNotificationItemWidget.js | ||
mw.echo.ui.DatedNotificationsWidget.js | ||
mw.echo.ui.DatedSubGroupListWidget.js | ||
mw.echo.ui.FooterNoticeWidget.js | ||
mw.echo.ui.js | ||
mw.echo.ui.MenuItemWidget.js | ||
mw.echo.ui.NotificationBadgeWidget.js | ||
mw.echo.ui.NotificationItemWidget.js | ||
mw.echo.ui.NotificationsInboxWidget.js | ||
mw.echo.ui.NotificationsListWidget.js | ||
mw.echo.ui.NotificationsWrapper.js | ||
mw.echo.ui.PaginationWidget.js | ||
mw.echo.ui.PlaceholderItemWidget.js | ||
mw.echo.ui.ReadStateButtonSelectWidget.js | ||
mw.echo.ui.SingleNotificationItemWidget.js | ||
mw.echo.ui.SortedListWidget.js | ||
mw.echo.ui.SubGroupListWidget.js |