if (strpos($db_server, ':') !== false && ($db_type == 'mysql' || $db_type == 'mysqli'))

 	{

 		list($db_server, $db_port) = explode(':', $db_server);

 		$changes['db_server'] = '\'' . $db_server . '\'';

 		// Only set this if we're not using the default port

 		if ($db_port != ini_get('mysql' . ($db_type == 'mysqli' || !empty($_POST['convertMysql']) ? 'i' : '') . '.default_port'))

 			$changes['db_port'] = (int) $db_port;