Add support for "opaque" WebDAV modules, i.e. modules that handle a specific location on their own, without fallback to other location modules. Rev: server/base_server/configuration.pike:1.702 Rev: server/base_server/module.pike:1.244 Rev: server/modules/misc/webdav.pike:1.39