.
***********************************************************************/
function page_footer($no_menu=false, $is_index=false)
{
global $path_to_root, $js_lib, $Validate, $Editors, $Ajax;
if (!$is_index && function_exists('hyperlink_back'))
hyperlink_back();
include_once($path_to_root."/themes/".user_theme()."/renderer.php");
$rend = new renderer();
$rend->menu_footer($no_menu, $is_index);
$edits = "editors = ".$Ajax->php2js($Editors).";";
$Ajax->addScript('editors', $edits);
echo "";
add_user_js_data();
echo "\n\n";
echo "