mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
b10bd70033
This would soon become problematic when output can come from multiple sources, with potentially conflicting ids. The ID is already included in the result anyway. Change-Id: Id92150c71c68958819fe0ee329e70393052c34c9 |
||
---|---|---|
.. | ||
mw.echo.dm.js | ||
mw.echo.dm.List.js | ||
mw.echo.dm.NotificationGroupItem.js | ||
mw.echo.dm.NotificationItem.js | ||
mw.echo.dm.NotificationList.js | ||
mw.echo.dm.NotificationsModel.js | ||
mw.echo.dm.SortedList.js | ||
mw.echo.dm.UnreadNotificationCounter.js |