Update $wgRCFeeds documentation
authorReedy <reedy@wikimedia.org>
Wed, 2 Jul 2014 20:55:15 +0000 (21:55 +0100)
committerOri.livneh <ori@wikimedia.org>
Thu, 3 Jul 2014 01:19:29 +0000 (01:19 +0000)
commit2ec5cb61f52c416ef43c6fc5556453140bcf7b10
tree0d16fd7d82be34b200273192757bc32dbbcc82ff
parent019682e962289a7b4d69b6b27da1fa1d3688feea
Update $wgRCFeeds documentation

Added RedisPubSubFeedEngine, not added to docs in I846036c091c45059a8

Change-Id: Id38e7fef49318bdde2a8cf8719ede52fb7fdb551
includes/DefaultSettings.php