Merge "rcfeed: Use wfWikiID() instead of $wgDBname"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 11 Jan 2014 06:14:42 +0000 (06:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 11 Jan 2014 06:14:42 +0000 (06:14 +0000)
commit005d4807d19008c6ce5279b6de8a17b44db2a318
tree30ef806f5e5c076888b3a3a3f9f02bc9953244b0
parent0a08e15617a3b1603ae514e2bc99e563ff48f9ae
parentf1d28a569d0f1a844c4b3c3731817415dd2a2e34
Merge "rcfeed: Use wfWikiID() instead of $wgDBname"