. ***********************************************************************/ class renderer { function wa_header() { page(_($help_context = "Main Menu"), false, true); } function wa_footer() { end_page(false, true); } function shortcut($url, $label) { echo "
$title | " ."" .(user_hints() ? "" : '') ." | " ."
";
echo "
|