Merge "Move inline $wgStatsdMetricPrefix default to DefaultSettings.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 14 Dec 2015 00:13:12 +0000 (00:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 14 Dec 2015 00:13:12 +0000 (00:13 +0000)
commit53c63f39894c88bd602b469daf0369aa8d517446
tree3116347af067fa3ec55895e692d2c7d24be77fb3
parent0d280257269a0c822dbc03a52d5ed42c150f9ba4
parentcf321014c845bc421b96be63a170f164b469ec18
Merge "Move inline $wgStatsdMetricPrefix default to DefaultSettings.php"
includes/DefaultSettings.php
includes/context/RequestContext.php