Hum, the real syntax is /whois [server] <nickname>[,<nickname>] where the server can be omitted, but is required if you want to get the idle time of the user since only the server which the user is connected to know about his idle time.
That said, it's true that using the nickname as the server's parameter also works, not sure why.

Looking for a good help channel about mIRC? Check #mircscripting @