Add configuration.add_modules() and use it from module.module_dependencies(). Rev: server/base_server/configuration.pike:1.201 Rev: server/base_server/module.pike:1.44