Merge "Update documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Nov 2013 16:20:21 +0000 (16:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Nov 2013 16:20:21 +0000 (16:20 +0000)
commit547c7eacde696be9cf21e58fcd3a117ea1f30b9b
tree1de5052b07c15a0cf0d9d473905b5b16fa156aec
parent6c64bf37452f2ee7dd3e41900a0d9ee0f914b929
parent8a7d5c154b3df2c4b5b83df1f9caa5cf7ed452ae
Merge "Update documentation"
includes/installer/DatabaseUpdater.php
includes/installer/MysqlUpdater.php