How does the IDE recognize the wifi ports ??

Hardware Arduino Yún
4

IMHO you might want to put up an issue on GITHUB for this one as it may be possible there was a change in the IDE from your information.

Reference back to this post too please.