wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/special
History
Kunal Mehta 35c4a37918 Use db-replicated objectcache for storing last seen time 
So we're not abusing user preferences for the last seen time.
EchoSeenTime is a small wrapper around ObjectCache that handles the
fallback to user preferences during the transition.

All JavaScript code now needs to use mw.config.get('wgEchoSeenTime').

Bug: T95839
Change-Id: Ia45ba5e30eb4564250539d04d5886d2598ebd49a
2015-09-02 22:42:35 +00:00
..
ext.echo.special.js Use db-replicated objectcache for storing last seen time 2015-09-02 22:42:35 +00:00
Feedback.png (bug 43441) Show preferences icon on Special:Notifications without label except as title 2013-01-01 21:48:44 -08:00
FeedbackHover.png (bug 43441) Show preferences icon on Special:Notifications without label except as title 2013-01-01 21:48:44 -08:00
Help.png Adding Help link to Echo archive page 2013-04-15 16:27:27 -07:00
MoreInfo.png Adding More Info link to Special:Notifications 2013-01-08 14:23:24 -08:00
MoreInfoHover.png Adding More Info link to Special:Notifications 2013-01-08 14:23:24 -08:00
Preferences.png Adding Help link to Echo archive page 2013-04-15 16:27:27 -07:00