Merge "DefaultSettings.php: Move $wgDBname/$wgDBprefix/$wgDBmwschema closer to each...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 20 Aug 2019 23:08:27 +0000 (23:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 20 Aug 2019 23:08:27 +0000 (23:08 +0000)
commit6c07a09f462147b35e8c76701b5dc6b6140310c8
tree3cfb35e8201aadb52dbcb6ecba45eb350405a768
parent75cf82924112bc06af82c7948537ab26ad72be6f
parentbe49e9923f70d7e50c22b610fc204a2146c5a0b1
Merge "DefaultSettings.php: Move $wgDBname/$wgDBprefix/$wgDBmwschema closer to each other"