wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-30 18:45:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
5904 commits 13 branches 19 tags 77 MiB
Commit graph

4 commits

Author SHA1 Message Date
Ed Sanders ffe3363d09 build: Update eslint-config-wikimedia to 0.16.1 
Change-Id: I2ce14429f9440e69e36fa349847f58fb32862f2a
 2020-06-15 16:19:00 +01:00
Ed Sanders 17126b2ab1 Remove obsolete aliases from closures 
Bug: T208951
Change-Id: If51fc6d50b9755c779fd0bf1be7bb0fe276539ea
 2018-11-12 13:56:38 +00:00
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