wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
3145 commits 13 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
Matthias Mullie 6175a9c1b5 Let EchoUserNotificationGateway return a different notification count 
There is currently a hard cap of badge display count.
We'll want to be able to request a different count for other purposes:
cleaning up old notifications, for example. We want to keep around a
certain amount of motifications (which is higher than the display count)
so we must be able to query a different count.

Change-Id: Id460fd7f46e397d22da49283b30fd12a6bbb0c9f
 2016-03-22 14:22:15 +01:00
Siebrand Mazeland 33126b69aa Update formatting 
In preparation of Code Sniffer based updates.

Change-Id: Id5d43332b44a37665d57dc24ef8c432bc65b2f6a
 2015-10-03 23:28:54 -04:00
Kunal Mehta c1c91a0c1d Update tests/phpunit for new directory structure 
Change-Id: Ic2d5659bb1db89cb62d3703ce59f3e58ba909886
 2015-06-15 11:36:02 -07:00