Merge "Update default hash storage settings"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 May 2016 22:29:43 +0000 (22:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 May 2016 22:29:43 +0000 (22:29 +0000)
commit90f599a5a2b46794a3002ee2f2563fc456a2fddb
treeab7af37f72de8e36227bb2c36ecc46ba06033de0
parent4a5009950d95b870e6b25f39eb32f73c2b3751c5
parent6c3e231f1d1f84794dc9f995a2d78b7c4a8721dd
Merge "Update default hash storage settings"
includes/DefaultSettings.php