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;
    ?>
" />
Exemplo n.º 2
0
  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;
    ?>
" />