3 require_once('../config.php');
5 $courseid = required_param('course', PARAM_INT
);
6 $userid = required_param('user', PARAM_INT
);
8 redirect("edit.php?courseid=$courseid&userid=$userid");
10 //note: this script is not used anymore - removed from HEAD