From e7b078084252dbcb1fd1051ed0114804ed68b0e1 Mon Sep 17 00:00:00 2001 From: Janusz Dobrowolski Date: Sat, 17 Jul 2010 16:18:46 +0000 Subject: [PATCH] Small cleanup --- includes/page/header.inc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/includes/page/header.inc b/includes/page/header.inc index 6d6fbdb8..10cc8b10 100644 --- a/includes/page/header.inc +++ b/includes/page/header.inc @@ -83,7 +83,6 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js="" // add_js_ufile($jsext); $theme = user_theme(); - $local_path_to_root = $path_to_root; if ($help_base_url != null && $use_popup_windows && $js == '') { @@ -126,7 +125,7 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js="" echo "dir . "' >\n"; echo "$title"; echo ""; - echo " \n"; + echo " \n"; send_scripts($js); echo " \n"; @@ -134,7 +133,8 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js="" echo ""; else echo ""; - include_once($local_path_to_root."/themes/".user_theme()."/renderer.php"); + + include_once($path_to_root . "/themes/".user_theme()."/renderer.php"); $rend = new renderer(); $rend->menu_header($title, $no_menu, $is_index); error_box(); -- 2.30.2