78
83
} else if ($mimetype == "text/plain") {
79
84
$options->newlines = false;
80
86
$output = '<pre>'.format_text(implode('', file($pathname)), FORMAT_MOODLE, $options, $courseid).'</pre>';
81
87
header("Content-length: ".strlen($output));
82
88
header("Content-type: text/html");