.
***********************************************************************/
class renderer
{
function wa_header()
{
page(_($help_context = "Main Menu"), false, true);
}
function wa_footer()
{
end_page(false, true);
}
function menu_header($title, $no_menu, $is_index)
{
global $path_to_root, $help_base_url, $db_connections;
echo "
\n";
echo "\n";
echo "\n";
echo "\n";
echo "\n";
echo "\n";
echo "";
if ($no_menu)
echo " ";
elseif ($title && !$is_index)
{
echo "$title | "
.""
.(user_hints() ? "" : '')
." | "
." ";
}
}
function menu_footer($no_menu, $is_index)
{
global $version, $allow_demo_mode, $app_title, $power_url,
$power_by, $path_to_root, $Pagehelp, $Ajax;
include_once($path_to_root . "/includes/date_functions.inc");
if ($no_menu == false)
{
if ($is_index)
echo "\n";
else
echo "\n";
echo "";
if (isset($_SESSION['wa_current_user'])) {
$phelp = implode('; ', $Pagehelp);
echo "" . Today() . " | " . Now() . " | \n";
$Ajax->addUpdate(true, 'hotkeyshelp', $phelp);
echo "".$phelp." | ";
}
echo " \n";
}
echo " | \n";
echo " \n";
if ($no_menu == false)
{
echo "
\n";
}
}
function display_applications(&$waapp)
{
global $path_to_root;
$selected_app = $waapp->get_selected_application();
$img = " ";
foreach ($selected_app->modules as $module)
{
// image
echo " |
";
// values
echo "
";
}
echo "
";
}
}
?>