mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
5350bba546
Not used anywhere. Change-Id: I848650e4e3497664d712537437d8a10b22d6afb1 |
||
---|---|---|
.. | ||
list.js | ||
NotificationBadge.js | ||
NotificationBadge.mustache | ||
notifications.js | ||
notificationsFilterOverlay.js | ||
notificationsFilterOverlay.less | ||
overlay.js | ||
overlay.less |