SimpleMachines / SMF2.1

			// For MySQL, we can get the "default port" from PHP. PostgreSQL has no such option though.

			if (($db_type == 'mysql' || $db_type == 'mysqli') && $_POST['db_port'] != ini_get($db_type . '.default_port'))

				$vars['db_port'] = (int) $_POST['db_port'];

			elseif ($db_type == 'postgresql' && $_POST['db_port'] != 5432)

				$vars['db_port'] = (int) $_POST['db_port'];

		}

		// God I hope it saved!

			{

				$port = ((int) $_POST['db_port'] == ini_get($db_type . 'default_port')) ? '' : (int) $_POST['db_port'];

			}

			elseif ($db_type == 'postgresql')

			{

				// PostgreSQL doesn't have a default port setting in php.ini, so just check against the default

				$port = ((int) $_POST['db_port'] == 5432) ? '' : (int) $_POST['db_port'];

			}

		}

		if (!empty($port))