mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-24 18:59:40 +00:00
e4b79c1bc2
Adding up numbers in the front-end is not enough, because it could be that not all pages are listed (it's a top 10). So get the total count from the backend. Change-Id: Ibbc76691ef88333b92132a514fdba3cde3797e10 |
||
---|---|---|
.. | ||
mw.echo.dm.CrossWikiNotificationItem.js | ||
mw.echo.dm.FiltersModel.js | ||
mw.echo.dm.js | ||
mw.echo.dm.ModelManager.js | ||
mw.echo.dm.NotificationGroupsList.js | ||
mw.echo.dm.NotificationItem.js | ||
mw.echo.dm.NotificationsList.js | ||
mw.echo.dm.PaginationModel.js | ||
mw.echo.dm.SortedList.js | ||
mw.echo.dm.SourcePagesModel.js | ||
mw.echo.dm.UnreadNotificationCounter.js |