*/
/**
* Functions for standalone HTML printing.
*
* @param array $color
* @param string $title
* @param string $searchform
* @param string $xtra
* @return void
*/
function displayPageHeader($color, $title, $searchform = 'yes', $xtra = '', $xtra_head='') {
global $PHP_SELF, $language;
echo '
'. $title .'
';
if(!empty($xtra_head)) {
echo "\n".$xtra_head."\n";
}
echo '
';
if(isset($expandbutton)) {
echo '';
}
}
?>
