Merge "rcfeed: Replace usage of deprecated class RCFeedEngine (in comments)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 6 May 2019 11:43:00 +0000 (11:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 May 2019 11:43:00 +0000 (11:43 +0000)
commitd848678e553937f382ae47f4e744188b60a374da
tree7a2e502bfca046abaded71656782d877570e7356
parentd339c17d700aa6d812eca8043a05497bbdb5e1a1
parent0001b213e52af4c1325a62c26628b5ec23b47bb9
Merge "rcfeed: Replace usage of deprecated class RCFeedEngine (in comments)"
includes/DefaultSettings.php