function html_window_title()
{
print "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">" . NEWLINE;
print "<html>" . NEWLINE;
print "<head>" . NEWLINE;
print "<meta http-equiv='Content-type' content='text/html;charset=utf-8'>" . NEWLINE;
print "<title>" . WINDOW_TITLE . "</title>" . NEWLINE;
print "<link rel=stylesheet type='text/css' href='./css/default.php'>" . NEWLINE;
# Include javascript file if USE_JAVASCRIPT constant is ON
if (USE_JAVASCRIPT) {
html_head_javascript();
}
print "</head>" . NEWLINE;
}
function html_page_top1($p_page_title = null)
{
html_begin();
html_head_begin();
html_css();
html_content_type();
include config_get('meta_include_file');
html_rss_link();
echo '<link rel="shortcut icon" href="images/favicon.ico" type="image/x-icon" />';
html_title($p_page_title);
html_head_javascript();
}
/**
* Print the part of the page that comes before meta redirect tags should be inserted
* @param string $p_page_title Page title.
* @return void
*/
function html_page_top1($p_page_title = null)
{
html_begin();
html_head_begin();
html_content_type();
$t_meta = config_get_global('meta_include_file');
if (!is_blank($t_meta)) {
include $t_meta;
}
global $g_robots_meta;
if (!is_blank($g_robots_meta)) {
echo "\t", '<meta name="robots" content="', $g_robots_meta, '" />', "\n";
}
html_title($p_page_title);
html_css();
html_rss_link();
$t_favicon_image = config_get('favicon_image');
if (!is_blank($t_favicon_image)) {
echo "\t", '<link rel="shortcut icon" href="', helper_mantis_url($t_favicon_image), '" type="image/x-icon" />', "\n";
}
# Advertise the availability of the browser search plug-ins.
$t_title = config_get('search_title');
$t_searches = array('text', 'id');
foreach ($t_searches as $t_type) {
echo "\t", '<link rel="search" type="application/opensearchdescription+xml" ', 'title="' . sprintf(lang_get("opensearch_{$t_type}_description"), $t_title) . '" ', 'href="' . string_sanitize_url('browser_search_plugin.php?type=' . $t_type, true) . '"/>', "\n";
}
html_head_javascript();
}
/**
* Print the part of the page that comes before meta redirect tags should be inserted
* @param string $p_page_title page title
* @return null
*/
function html_page_top1($p_page_title = null)
{
html_begin();
html_head_begin();
html_css();
html_content_type();
include config_get('meta_include_file');
global $g_robots_meta;
if (!is_blank($g_robots_meta)) {
echo "\t", '<meta name="robots" content="', $g_robots_meta, '" />', "\n";
}
html_rss_link();
$t_favicon_image = config_get('favicon_image');
if (!is_blank($t_favicon_image)) {
echo "\t", '<link rel="shortcut icon" href="', helper_mantis_url($t_favicon_image), '" type="image/x-icon" />', "\n";
}
// Advertise the availability of the browser search plug-ins.
echo "\t", '<link rel="search" type="application/opensearchdescription+xml" title="MantisBT: Text Search" href="' . string_sanitize_url('browser_search_plugin.php?type=text', true) . '" />' . "\n";
echo "\t", '<link rel="search" type="application/opensearchdescription+xml" title="MantisBT: Issue Id" href="' . string_sanitize_url('browser_search_plugin.php?type=id', true) . '" />' . "\n";
html_title($p_page_title);
html_head_javascript();
}
function html_page_top1($p_page_title = null)
{
html_begin();
html_head_begin();
html_css();
html_content_type();
include config_get('meta_include_file');
html_rss_link();
html_title($p_page_title);
html_head_javascript();
}