From: jenkins-bot Date: Sat, 11 Jan 2014 06:14:42 +0000 (+0000) Subject: Merge "rcfeed: Use wfWikiID() instead of $wgDBname" X-Git-Tag: 1.31.0-rc.0~17287 X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/modifier.php?a=commitdiff_plain;h=005d4807d19008c6ce5279b6de8a17b44db2a318;p=lhc%2Fweb%2Fwiklou.git Merge "rcfeed: Use wfWikiID() instead of $wgDBname" --- 005d4807d19008c6ce5279b6de8a17b44db2a318