mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
ddaf43c5a0
This will essentially all be deleted after I55c18cf723a32f80b93a01dd0687e005162c4e93, but thats fine\ Bug: T343053 Change-Id: Ifb382af388cdc24dc1ecef105ec89c9129194c19 |
||
---|---|---|
.. | ||
list.js | ||
NotificationBadge.js | ||
NotificationBadge.less | ||
NotificationBadge.mustache | ||
notifications.js | ||
notificationsFilterOverlay.js | ||
notificationsFilterOverlay.less | ||
overlay.js | ||
overlay.less |