* */ class htmlmenu { function htmlmenu($name, $form = null) { global $file_root; if ($form) { echo "

\n"; } echo "\n"; echo "\n"; echo " \n"; echo " \n"; echo " \n"; echo "

$name

\n"; echo "\n"; echo "\n"; echo " \n"; echo "\n"; } /* add a table row */ function add($name, $url = null) { if($url) { echo " \n"; } else { echo " \n"; } } function addmisc($stuff, $align = "left") { echo " \n"; } function done($form = null, $extra = "") { global $file_root; echo "

$name

$name

$stuff

\n"; echo "\n"; echo "\n"; echo " \n"; echo "\n"; echo ""; echo $extra; echo "
\n"; if ($form) { echo "

\n"; } } } ?>