$port = null
Add a mirror server. Note that mirrors must be added to a channel.xml in order for users to use them. Unofficial mirrors are not allowed without user intervention.
mirror http port
throws no exceptions thrown
This function can not be called statically.