RCFilters: Basic implementation of live updates
authorRoan Kattouw <roan.kattouw@gmail.com>
Fri, 7 Jul 2017 18:15:29 +0000 (11:15 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Sat, 8 Jul 2017 00:00:53 +0000 (17:00 -0700)
commitebc36b75b87b9752a12c25d41a3619faa7d2715e
treebfdfa3d60c08a0a9d45309f4de14f92fe1956b04
parent68e16c26dd58afdf58a97f18f3cc76ed3b0ad9ee
RCFilters: Basic implementation of live updates

Adds a live updates button that refreshes the changes list every 3 seconds.
For now this is pretty dumb in that it re-requests the entire list every time;
the next step would be to make it only load new changes using the &from=
query parameter.

Bug: T167743
Change-Id: Ic2ddea840e5c46f42b32ae4fff91138cacc28ec0
includes/DefaultSettings.php
includes/specials/SpecialRecentchanges.php
languages/i18n/en.json
languages/i18n/qqq.json
resources/Resources.php
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.ChangesListViewModel.js
resources/src/mediawiki.rcfilters/mw.rcfilters.Controller.js
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.LiveUpdateButtonWidget.less [new file with mode: 0644]
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.LiveUpdateButtonWidget.js [new file with mode: 0644]