Searched refs:glossaryPlugin (Results 1 – 1 of 1) sorted by relevance
16 $glossaryPlugin =& plugin_load ('syntax', 'glossary_div'); variable17 $glossary = new glossary ($glossaryPlugin, $_REQUEST ['glossary']['ns']);