Merge "Make $wgDBerrorLogTZ actually default to $wgLocaltimezone"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 May 2015 19:54:11 +0000 (19:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 May 2015 19:54:11 +0000 (19:54 +0000)
commite876a53696669963e596d035fe88aefca303aafb
tree4c40d4f98b0073f9122f94434e000efd5795ae3d
parent52fbc770830559ecc53bd127a1e80ff29032c38f
parentb391983f144e0d526c1921bcc475bbbdadee6c4b
Merge "Make $wgDBerrorLogTZ actually default to $wgLocaltimezone"
includes/DefaultSettings.php