Make MySQLi work with non-standard port
authormglaser <glaser@hallowelt.biz>
Mon, 27 Jan 2014 09:10:50 +0000 (10:10 +0100)
committermglaser <glaser@hallowelt.biz>
Mon, 24 Feb 2014 21:21:56 +0000 (22:21 +0100)
commitf1425f3ea26ace222e0bbcc0486dc361a56f87d0
tree18fbbf5b2a8b169890bf6f0aac821aee215da91e
parentb59acb6d48d570ea53eac32b103856ff44cf74e9
Make MySQLi work with non-standard port

Other than mysql_connect, mysqli_real_connect expects an explicit
port parameter. So we need to parse the port out of $realServer. Note it
is not possible to just use $wgDBport, since that is set to 5432 as a
defalt and would break all existing sites using mysqli on standard port.

This change is IPv6 safe.

Bug: 58153
Change-Id: I8fe191b930b26bce3c863b1953b237cb4a889c6e
includes/db/DatabaseMysqli.php