RCFilters: Make live update polling configurable
authorStephane Bisson <sbisson@wikimedia.org>
Thu, 21 Sep 2017 20:43:23 +0000 (16:43 -0400)
committerStephane Bisson <sbisson@wikimedia.org>
Fri, 22 Sep 2017 17:22:40 +0000 (13:22 -0400)
commit8de793cb5e58ea711e11fabb84336587dfc6fa29
treea6ed22c0da5271a4309c0d0cf7880f6465ff2616
parent7028454158a9a344b975f3862f2f63a5358aa35d
RCFilters: Make live update polling configurable

Introducing $wgStructuredChangeFiltersLiveUpdatePollingRate
to configure the polling rate for live update.

Allows disabling polling completely by setting it to 0.

Change-Id: I13d3a4bb642c55a16e442f8f8d650c637f13f72c
includes/DefaultSettings.php
includes/specialpage/ChangesListSpecialPage.php
resources/src/mediawiki.rcfilters/mw.rcfilters.Controller.js
resources/src/mediawiki.rcfilters/mw.rcfilters.js