$value) {
set_config($name, $value);
}
redirect("$CFG->wwwroot/$CFG->admin/modules.php", get_string("changessaved"), 1);
exit;
}
/// Otherwise print the form.
require_variable($module);
require_once("$CFG->dirroot/mod/$module/lib.php");
$stradmin = get_string("administration");
$strconfiguration = get_string("configuration");
$strmanagemodules = get_string("managemodules");
$strmodulename = get_string("modulename", $module);
print_header("$site->shortname: $strconfigvariables", $site->fullname,
"$stradmin -> ".
"$strconfiguration -> ".
"$strmanagemodules -> $strmodulename", $focus);
print_heading($strmodulename);
print_simple_box_start("center", "", "$THEME->cellheading");
include("$CFG->wwwroot/mod/$module/config.html");
print_simple_box_end();
print_footer();
?>