Remove some unused code from mod_manager_ui

This code was obsoleted by updated code in world_factory.cpp.

PR is labeled as [CR] because I want to make sure that no one wants use it later.