Merge "Fix broken $wgExternalServers example setting"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 Sep 2016 22:32:26 +0000 (22:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 Sep 2016 22:32:26 +0000 (22:32 +0000)
commit6890f201e3847f16ca89e78c2af06625cd9b8444
tree245cfac7d38045ab0fb2fdc6f138aa05d9468339
parent757f01505a931c823a52fe31eaa60a962b8fc2ac
parenta11293c36840f2e1bb9adfef99a5f276929c3ae0
Merge "Fix broken $wgExternalServers example setting"