Merge "Make MySQLi work with non-standard port"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 14 Mar 2014 22:43:25 +0000 (22:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 14 Mar 2014 22:43:25 +0000 (22:43 +0000)
commitb21d7369406eac84ff667ce625ad61797fd7e352
tree2cf1181dded62942a4661e937ce0faad715dab07
parent540329ebd55e2839555ea9f631160756fa63fa45
parentf1425f3ea26ace222e0bbcc0486dc361a56f87d0
Merge "Make MySQLi work with non-standard port"
includes/db/DatabaseMysqli.php