/** * Print the part of the page that comes below the page content but leave off * the menu. This is used during the login process and other times when the * user may not be authenticated. * @param string $p_file Should always be the __FILE__ variable. * @return void */ function html_page_bottom1a($p_file = null) { if (null === $p_file) { $p_file = basename($_SERVER['SCRIPT_NAME']); } error_print_delayed(); html_bottom_banner(); html_footer(); html_body_end(); html_end(); }
/** * Print the part of the page that comes below the page content but leave off * the menu. This is used during the login process and other times when the * user may not be authenticated. * @return void */ function html_page_bottom1a() { error_print_delayed(); html_bottom_banner(); html_footer(); html_body_end(); html_end(); }