Merge "Use wfWikiID() instead of $wgDBname in wfIncrStats()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 21 Dec 2012 20:47:57 +0000 (20:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 21 Dec 2012 20:47:57 +0000 (20:47 +0000)
commit4c32c2779df548c6ad787e2bbd020d2befb6cb5f
treecc396e199a861112a68248e147318b22a7b8d904
parentca5478b0aaed58c2c7e7f1eef24c5408222ba73a
parent4b5f75205bfb984cee46a15b9d52c1ec0f27af21
Merge "Use wfWikiID() instead of $wgDBname in wfIncrStats()"