wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 11:17:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
4814 commits 155 branches 0 tags 71 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders c8d24ebd17 build: Replace jscs/jshint with eslint 
Change-Id: Iee1d1b20ed31e636bfb8fc8cf9b18ff328bf608c
 2016-11-23 15:25:59 -08:00
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