id)) {
error("Only teachers can look at this page");
}
$file = clean_filename($file);
if (file_exists($file)) {
$strhelp = get_string("help");
print_header("$course->shortname: $strhelp", "$course->fullname",
"id\">$course->shortname -> $strhelp");
echo "";
include($file);
echo "
";
}
?>