* */ class htmlmenu { function htmlmenu($name) { echo "
"; echo "
".$name."
"; } /* add a table row */ function add($name, $url = null) { echo '
'; if($url) { echo "$name"; } else { echo "$name"; } echo "
\n"; } function done($extra = "") { echo "
 
\n"; echo $extra; echo "
\n"; } } ?>