Merge "Declare and document $wgStatsdServer and $wgStatsdMetricPrefix"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Jul 2015 08:12:47 +0000 (08:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Jul 2015 08:12:47 +0000 (08:12 +0000)
commita573c9bd65d82a034869b6faefa6c33402c91f24
treeffa09793f753be5dd8280d8cef83357c33b9e538
parent16f707477caa2315279570553d7f10b43b8e6911
parent4ef96ff1f29a3a3c806cb5cd69663d1d932dc3c7
Merge "Declare and document $wgStatsdServer and $wgStatsdMetricPrefix"
includes/DefaultSettings.php