mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
bc5b569719
* Fix icon position * Fix border widths and colour Change-Id: I06f45baa4c90e43d7e50eed83888d57ede69a517 |
||
---|---|---|
.. | ||
list.js | ||
NotificationBadge.js | ||
NotificationBadge.mustache | ||
notifications.js | ||
notificationsFilterOverlay.js | ||
notificationsFilterOverlay.less | ||
overlay.js | ||
overlay.less |