Merge "rdbms: halt on some common broken $wgDBServers configurations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 23 Mar 2019 04:31:08 +0000 (04:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 23 Mar 2019 04:31:08 +0000 (04:31 +0000)
commitf5d5b52bfe198d7157443411dde0d4cbb0dce673
tree5678497401d7a6e6d9e9ed169864edae70bdac26
parent68161cc83e2288d2cbb59e9115e3834b35ab952f
parent9df277a4ba3b1dc86e11f469d742c3781141da70
Merge "rdbms: halt on some common broken $wgDBServers configurations"