Added in 1.9.0

$port

Returns the port number of the currently connected server.