$strname = get_string("name");
$strorder = get_string("order");
$strrole = get_string("role");
- $stredit = get_string("edit");
+ $stredit = get_string("editingteachershort");
$stryes = get_string("yes");
$strno = get_string("no");
} else {
- $table->head = array ("", $strname, $strorder, $strrole, $stredit, " ");
+ $table->head = array ("", $strname, $strorder, $strrole, $stredit, " ");
$table->align = array ("right", "left", "center", "center", "center", "center");
$table->size = array ("35", "", "", "", "10", "");
$string['editfiles'] = 'Edit files';
$string['editgroupprofile'] = 'Edit group profile';
$string['editinga'] = 'Editing $a';
+$string['editingteachershort'] = 'Editor';
$string['editlock'] = 'This value cannot be edited!';
$string['editmyprofile'] = 'Edit profile';
$string['editorbgcolor'] = 'Background-color';