$port
Returns the port number of the server to which you're currently connected.

what is about the local port wich is used for an connection?

123.123.123.123:4567 -> 789.789.789.789:6667
local ip = 123.123.123.123 = $ip
local port = 4567 = ??? needed !!!
server ip = 789.789.789.789 = $serverip
server port = 6667 = $port

i hope this example show what i mean
if this can be included in futur mirc versions it would be nice

This could just be stupid ole me, but doesn't $port return that too. I always thought it did anyway.

Nope. It returns the server port.

Long ago I suggested that a way of referring to the mIRC socket with the $sock() identifier would be useful. For example, you would be able to use $sock(mirc).bindport to get the local port, or $sock(mirc).sent to get the total number of bytes sent.

Of course this never was and will probably never be added.

Well who knows? I agree it's a great suggestion.