Merge "maintenance/getReplicaServer.php: Remove reference to long-deleted config...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 Sep 2019 16:33:19 +0000 (16:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 Sep 2019 16:33:19 +0000 (16:33 +0000)
commit3b3b13357184e6afd8b39ce5f8515c53a1179acb
tree9ef075b9642c5c53fbddad3c2e0093de58c6ba6c
parent1880c8401a0638be07a4fe5139ab425eb725e0ee
parent3a39f364dc3f53fcad235eeb4f878fcec16be6e4
Merge "maintenance/getReplicaServer.php: Remove reference to long-deleted config var"