function output_cas_text($title, $intro, $castext)
{
global $OUTPUT;
echo $OUTPUT->heading($title, 3);
echo html_writer::tag('p', $intro);
echo html_writer::tag('pre', s($castext));
$ct = new stack_cas_text($castext, null, 0, 't');
echo html_writer::tag('p', format_text(stack_ouput_castext($ct->get_display_castext())));
echo output_debug(stack_string('errors'), $ct->get_errors());
echo output_debug(stack_string('debuginfo'), $ct->get_debuginfo());
}
}
if ($string) {
$options = new stack_options();
$options->set_site_defaults();
$options->set_option('simplify', $simp);
$session = new stack_cas_session(null, $options);
if ($vars) {
$keyvals = new stack_cas_keyval($vars, $options, 0, 't');
$session = $keyvals->get_session();
$varerrs = $keyvals->get_errors();
}
if (!$varerrs) {
$ct = new stack_cas_text($string, $session, 0, 't');
$displaytext = $ct->get_display_castext();
$errs = $ct->get_errors();
$debuginfo = $ct->get_debuginfo();
}
}
echo $OUTPUT->header();
echo $OUTPUT->heading($title);
echo html_writer::tag('p', stack_string('chatintro'));
// If we are editing the General Feedback from a question it is very helpful to see the question text.
if ($questionid) {
echo $OUTPUT->heading(stack_string('questiontext'), 3);
echo html_writer::tag('pre', $question->questiontext, array('class' => 'questiontext'));
}
if (!$varerrs) {
if ($string) {
echo $OUTPUT->box(stack_ouput_castext($displaytext));
}
}
