Merge "Improve Database related documentation a bit"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 1 Jul 2014 11:20:08 +0000 (11:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 1 Jul 2014 11:20:08 +0000 (11:20 +0000)
commitd434013a98e7dd517067f5ca9c263b1d4d8bd6ee
tree35aed1444309b540bab1998a3d7d8a5be17feea7
parente3e8659cfc2bc1ffe775a52671acc0d10dbb8527
parentcae5da1ca330021d966f5a81ec5b4760a3da0568
Merge "Improve Database related documentation a bit"
includes/DefaultSettings.php