mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-26 19:57:43 +00:00
3a710790d5
This organizes the operation of seenTime so we can store and follow up on it based on different sources, as well as update it correctly remotely when needed. Change-Id: I629ecfc84999be998b45c9c7adb00ea7e3e51742 |
||
---|---|---|
.. | ||
mw.echo.dm.BundleNotificationItem.js | ||
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.SeenTimeModel.js | ||
mw.echo.dm.SortedList.js | ||
mw.echo.dm.SourcePagesModel.js | ||
mw.echo.dm.UnreadNotificationCounter.js |