wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 02:46:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
3331 commits 13 branches 19 tags 77 MiB
Commit graph

1 commit

Author SHA1 Message Date
Moriel Schottlender a1ec29d06a Add a PromisePrioritizer and use it for notifications fetching 
This will allow us to let the user click filters quickly, effectively
changing the promises sent to the API, but let the API only resolve
with the latest requested promise.

Bug: T136895
Change-Id: I698a2b8eced6d8ee997efef353697d27d92cfb2f
 2016-06-23 14:12:00 -07:00