wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
2407 commits 155 branches 0 tags 71 MiB
Commit graph

3 commits

Author SHA1 Message Date
Siebrand Mazeland 33126b69aa Update formatting 
In preparation of Code Sniffer based updates.

Change-Id: Id5d43332b44a37665d57dc24ef8c432bc65b2f6a
 2015-10-03 23:28:54 -04:00
Moriel Schottlender e650df6644 Separate 'seen time' for alerts and messages 
Bug: T111285
Change-Id: I277f94ae705d3323ac8612111d7fd704b36793cb
 2015-09-03 13:14:15 -07:00
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