function genhtmltitle($title) { return system_get_hostname() . " - " . gentitle($title); } ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo system_get_language_code(); ?> " lang="<?php echo system_get_language_code(); ?> "> <head> <title><?php echo htmlspecialchars(genhtmltitle($pgtitle)); ?> </title> <meta http-equiv="Content-Type" content="text/html; charset=<?php echo system_get_language_codeset(); ?> " /> <meta http-equiv="Content-Script-Type" content="text/javascript" /> <meta http-equiv="Content-Style-Type" content="text/css" /> <?php if (isset($pgrefresh) && $pgrefresh) { ?> <meta http-equiv="refresh" content="<?php echo $pgrefresh; ?> " />
some browser might be broken. echo '<?xml version="1.0" encoding="'.system_get_language_codeset().'"?>'; echo "\n"; */ ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo system_get_language_code(); ?> " lang="<?php echo system_get_language_code(); ?> "> <head> <title><?php echo htmlspecialchars(genhtmltitle(isset($pgtitle) ? $pgtitle : "")); ?> </title> <meta http-equiv="Content-Type" content="text/html; charset=<?php echo system_get_language_codeset(); ?> " /> <meta http-equiv="Content-Script-Type" content="text/javascript" /> <meta http-equiv="Content-Style-Type" content="text/css" /> <?php if (isset($pgrefresh) && $pgrefresh) { ?> <meta http-equiv="refresh" content="<?php echo $pgrefresh; ?> " />