mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
35c4a37918
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 |
||
---|---|---|
.. | ||
ext.echo.special.js | ||
Feedback.png | ||
FeedbackHover.png | ||
Help.png | ||
MoreInfo.png | ||
MoreInfoHover.png | ||
Preferences.png |