Example #1
0
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();
}
Example #2
0
        }
    }
}
ksort($t_view_status);
/* @todo - these should probably be separate strings, but in the summary page context,
   the string is used as the title for all columns */
$t_label_string = lang_get('orct');
//use the (open/resolved/closed/total) label
$t_label_strings = explode('/', utf8_substr($t_label_string, 1, strlen($t_label_string) - 2));
// add headers for table
if ($f_show_as_table) {
    $t_date_format = config_get('short_date_format');
    html_begin();
    html_head_begin();
    html_css();
    html_content_type();
    html_title(lang_get('by_status'));
    html_head_end();
    html_body_begin();
    echo '<table class="width100"><tr><td></td>';
    if ($f_summary) {
        echo '<th>' . $t_label_strings[0] . '</th>';
        echo '<th>' . $t_label_strings[1] . '</th>';
        echo '<th>' . $t_label_strings[2] . '</th>';
    } else {
        foreach ($t_view_status as $t_status => $t_label) {
            echo '<th>' . $t_label . ' (' . $t_status . ')</th>';
        }
    }
    echo '</tr>';
}
Example #3
0
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();
}
Example #4
0
/**
 * 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();
}
Example #5
0
/**
 * 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();
}