Searched refs:print_toc (Results 1 – 1 of 1) sorted by relevance
54 if (isset($_REQUEST['id'])) print $this->print_toc($_REQUEST['id']);95 function print_toc($id) { function in ajax_indexmenu_plugin