Use wfWikiID() instead of $wgDBname in wfIncrStats()
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Fri, 21 Dec 2012 08:26:18 +0000 (09:26 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 21 Dec 2012 18:17:30 +0000 (18:17 +0000)
commit4b5f75205bfb984cee46a15b9d52c1ec0f27af21
tree5dc61014d3e38e1d20887d8983358e157b280d6c
parent116f3550b85c2e749107fa15da2820a3122fdd13
Use wfWikiID() instead of $wgDBname in wfIncrStats()

This allows to have distinct stat groups for people using database table prefix and
it makes wfIncrStats() consistent with ProfilerSimpleUDP that already uses wfWikiID().

Change-Id: Iecef9f490df8c5685a4887cc81dcb4a7e4d3172c
includes/GlobalFunctions.php