mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
c4485b91a7
If the popup is open, whatever is coming in is immediately 'seen', so we shouldn't flash the badge as red. Bug: T112823 Change-Id: I9fe78ed11506de3c82043141f994e1ca96c5880b |
||
---|---|---|
.. | ||
styles | ||
mw.echo.ui.BadgeLinkWidget.js | ||
mw.echo.ui.js | ||
mw.echo.ui.NotificationBadgeWidget.js | ||
mw.echo.ui.NotificationOptionWidget.js | ||
mw.echo.ui.NotificationsWidget.js | ||
mw.echo.ui.PlaceholderOptionWidget.js |