mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
a7dd4a9d5c
This is now dead code that was removed in Id611cc07aebfb94e50bde8902cbc0627393fa926 Bug: T309748 Change-Id: Ic4f9881301aa313e7c380d602c6742aff1a886db |
||
---|---|---|
.. | ||
list.js | ||
NotificationBadge.js | ||
NotificationBadge.mustache | ||
notifications.js | ||
notificationsFilterOverlay.js | ||
notificationsFilterOverlay.less | ||
overlay.js | ||
overlay.less |