3 function page_footer($no_menu=false, $is_index=false)
8 return;// just for speed up
10 if (function_exists('hyperlink_back'))
12 include_once($path_to_root."/themes/".user_theme()."/renderer.php");
13 $rend = new renderer();
14 $rend->menu_footer($no_menu, $is_index);
15 echo "</body></html>\n";