* MediaWiki version number
* @since 1.2
*/
-$wgVersion = '1.30.0-alpha';
+$wgVersion = '1.31.0-alpha';
/**
* Name of the site. It must be changed in LocalSettings.php
*/
$wgStructuredChangeFiltersOnWatchlist = false;
+/**
+ * Polling rate, in seconds, used by the 'live update' and 'view newest' features
+ * of the RCFilters app on SpecialRecentChanges and Special:Watchlist.
+ * 0 to disable completely.
+ */
+$wgStructuredChangeFiltersLiveUpdatePollingRate = 3;
+
/**
* Use new page patrolling to check new pages on Special:Newpages
*/