glossary_entbypage: | ||
glossary_dupentries: | ||
glossary_allowcomments: | ||
glossary_linkbydefault: | ||
glossary_defaultapproval: | ||
glossary_enablerssfeeds: | enablerssfeeds) || $CFG->enablerssfeeds == 0) { print_string("no"); } else { unset($options); $options[0] = get_string("no"); $options[1] = get_string("yes"); $glossary_enablerssfeeds = false; if (isset($CFG->glossary_enablerssfeeds) && $CFG->glossary_enablerssfeeds == 1) { $glossary_enablerssfeeds = true; } choose_from_menu ($options, "glossary_enablerssfeeds", $glossary_enablerssfeeds, "", "", ""); } ?> | enablerssfeeds) || $CFG->enablerssfeeds == 0) { print_string("configenablerssfeedsdisabled"); } ?> |
glossary_linkentries: | ||
glossary_casesensitive: | ||
glossary_fullmatch: | ||
id] = get_string("displayformat$format->name", "glossary"); } asort($formats); print_simple_box_start('center'); foreach ($formats as $formatid=>$formatname) { $recformat = get_record('glossary_formats','id',$formatid); echo ' | ||
' . $formatname . ' | '; $eicon = "wwwroot/mod/glossary/formats.php?id=$formatid&mode=edit\">' . $eicon . ' ' . $vicon . ' | '; echo '|
" /> |