mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
93387806c2
We calculate how many messages and alerts are being marked as read, and subtract them from the count since the database and caches won't be updated until the end of the request. For performance, we also get the event_type while doing the EchoTargetPage lookup query to avoid having to query it individually later on. Bug: T117531 Change-Id: I0d9302adf1b4b07a4ff26a04b00d4498aa3fe7ee |
||
---|---|---|
.. | ||
AbstractMapper.php | ||
EventMapper.php | ||
NotificationMapper.php | ||
TargetPageMapper.php |