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 " ";
    wiki_table_end();
}
     $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');
 wiki_input_submit($prop);
 wiki_table_end();
 wiki_div_end();
 wiki_form_end();
 echo "<!-- Fi del Formulari -->" . "\n";
 /// Finish the page
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;
}