$prop->class = "nwikileftnow";
 wiki_change_column($prop);
 if (isset($dfwiki)) {
     print_string($dfwiki->evaluation, 'wiki');
     //<!-- corregir -->
 } else {
     $size_font_default = '12';
     $size_fonts = array('8', '9', '10', '11', '12', '14', '16', '18', '20', '22', '24', '26', '28', '36');
     $opt = null;
     foreach ($size_fonts as $size_fontop) {
         $prop = null;
         $prop->value = $size_fontop;
         if ($size_fontop == $size_font_default) {
             $prop->selected = "selected";
         }
         $opt .= wiki_option($size_fontop, $prop, true);
     }
     $prop = null;
     $prop->name = "size";
     $prop->size = "1";
     $prop->events = "onchange=\"javascript:view_evaluations(event)\"";
     wiki_select($opt, $prop);
 }
 $prop = null;
 $prop->colspan = '2';
 $prop->class = "textcenter";
 wiki_change_row($prop);
 wiki_br();
 $prop = null;
 $prop->name = "continue";
 $prop->value = get_string('continue');
function wiki_print_menu_teachers($listteachers, $cm)
{
    //this function prints the list of theachers in the wiki's student
    if (empty($listteachers)) {
        return;
    }
    wiki_br(2);
    $prop = null;
    $prop->border = "0";
    $prop->class = "boxalignright";
    $prop->classtd = "nwikileftnow";
    wiki_table_start($prop);
    print_string('anotherteacher', 'wiki');
    wiki_change_column();
    $prop = null;
    $prop->id = "selectteacher";
    $prop->method = "post";
    $prop->action = 'view.php?id=' . $cm->id;
    wiki_form_start($prop);
    wiki_div_start();
    $opt = null;
    foreach ($listteachers as $lteacher) {
        $prop = null;
        $prop->value = $lteacher->id;
        $opt .= wiki_option($lteacher->lastname . ', ' . $lteacher->firstname, $prop, true);
    }
    $prop = null;
    $prop->name = "dfformselectteacher";
    wiki_select($opt, $prop);
    $prop = null;
    $prop->value = get_string("continue");
    wiki_input_submit($prop);
    wiki_div_end();
    wiki_form_end();
    $prop = null;
    $prop->class = "nwikileftnow";
    wiki_change_row($prop);
    echo "&nbsp;";
    wiki_table_end();
}
 wiki_table_start($prop);
 // Table font header
 wiki_b(get_string('wikibooks_font_header', 'wiki') . ':');
 unset($prop);
 $prop->class = "nwikileftnow";
 wiki_change_column($prop);
 $font = 'Vera';
 $fonts = array('Vera', 'Veramo', 'Freesans', 'Freeserif', 'Freemono');
 $opt = null;
 foreach ($fonts as $fontop) {
     unset($prop);
     $prop->value = $fontop;
     if ($font === $fontop) {
         $prop->selected = "selected";
     }
     $opt .= wiki_option($fontop, $prop, true);
 }
 $prop = null;
 $prop->name = "font_header";
 $prop->size = "1";
 $prop->class = "boxalignright";
 wiki_select($opt, $prop);
 wiki_table_end();
 // Table font header
 wiki_change_row();
 // Table parameter
 unset($prop);
 $prop->class = "box";
 wiki_table_start($prop);
 // Table question footer
 unset($prop);
function wiki_grade_scale_box(&$scale, $return_scale = false)
{
    if (!isset($scale->scale)) {
        wiki_select(null, null);
        return false;
    } else {
        $scale = explode(',', $scale->scale);
    }
    $i = 0;
    $n = count($scale);
    $opt = '';
    while ($i < $n) {
        unset($prop);
        $prop->value = $i + 1;
        $opt .= wiki_option($scale[$i], $prop, true);
        $i++;
    }
    unset($prop);
    $prop->name = "grade_evaluation_page";
    wiki_select($opt, $prop);
    if ($return_scale) {
        return $scale;
    }
    return true;
}
 unset($prop);
 $prop->id = "form_gradebook";
 $prop->method = "post";
 $prop->action = "{$CFG->wwwroot}/mod/wiki/grades/grades.evaluation.php?cid={$cid}&amp;cmid={$cmid}&amp;group={$selectedgroup}&amp;user={$key}";
 wiki_form_start($prop);
 wiki_b(get_string('user') . ':');
 if (isset($selecteduser)) {
     $opt = '';
     foreach ($users as $key => $user) {
         unset($prop);
         $prop->value = "{$key}";
         $prop->name = "{$user}";
         if ($selecteduser == $key) {
             $prop->selected = 'selected';
         }
         $opt .= wiki_option($user, $prop, true);
     }
     unset($prop);
     $prop->id = "select_users_grades";
     $prop->name = $prop->id;
     wiki_select($opt, $prop);
 }
 $scale = wiki_grade_scale_box($scale);
 if ($scale) {
     unset($prop);
     $prop->name = 'gradebook';
     $prop->value = get_string('set', 'wiki');
     wiki_input_submit($prop);
 }
 wiki_form_end();
 wiki_div_end();