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
2521 commits 155 branches 0 tags 71 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kunal Mehta 999c53a1c3 Use CentralIdLookup instead of hardcoding for CentralAuth 
Change-Id: I5b2d23588ab6b026d1a2100b9c16a74e9aefbd73
 2015-12-08 16:54:23 -08:00
Roan Kattouw 23734e3539 Follow-up b85f978ddd: don't check for the non-existent CentralAuth class 
Change-Id: Ie7ca022c659f9856641aaec6183eadf8a86865a2
 2015-11-24 19:34:27 -08:00
Kunal Mehta b85f978ddd Track what wikis a user has unread notifications on 
This implements a backend layer and database storage for tracking what
wikis a user has unread notifications on. It is not yet exposed via any
API.

Whenever the notification counts on the local wiki are reset, a deferred
update is queued to also update the central database table.

Change-Id: Id1498bdeb5811d6848dc66781ffca03e726eab90
 2015-11-20 15:54:11 -08:00