mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
c3787f4c51
If a notification is already read it is by definition seen. Don't mark those as unseen. This can actually happen if our seenTime is invalid (like a cache miss) Change-Id: Id943691599116597b6c68d2cc40e7b89a25ce05e |
||
---|---|---|
.. | ||
icons | ||
logger | ||
nojs | ||
ooui | ||
special | ||
viewmodel | ||
echo.variables.less | ||
ext.echo.init.js | ||
hooks.txt |