Example #1
0
function write_header($date, $title, $this_page)
{
    print "<head>\n";
    print " <link rel=\"icon\" href=\".common_files/favicon.ico\" type=\"image/x-icon\">\n";
    print "\t<link rel=\"shortcut icon\" href=\"./common_files/favicon.ico\" type=\"image/x-icon\">\n";
    print "\t<meta http-equiv=\"Pragma\" content=\"no-cache\">\n";
    print "\t<meta http-equiv=\"refresh\" content=\"900\">\n";
    print "\t<title>{$title}</title>\n";
    print "\t<link rel=stylesheet href=\"./common_files/arm-style.css\" type=\"text/css\">\n";
    print "\t<meta name=\"orgcode\" content=\"682\">\n";
    print "\t<meta name=\"rno\" content=\"Joseph.B.Gurman.1\">\n";
    print "\t<meta name=\"content-owner\" content=\"Peter.T.Gallagher.1\">\n";
    print "\t<meta name=\"webmaster\" content=\"Amy.E.Skowronek.1\">\n";
    print "\t<script language=JavaScript1.2>\n";
    write_jscript($date, $this_page);
    print "\t</script>\n";
    //Insert the cool Zoom Function. (Edit: P.A.Higgins 14-May-2009)
    if ($this_page == "full_disk.php") {
        print "\t<script type='text/javascript' src='common_files/tjpzoom.js'></script>\n";
        print "\t<script type='text/javascript' src='common_files/tjpzoom_config_default.js'></script>\n";
        print "\t<script type='text/javascript'>\n";
        print "\tfunction writeText(txt){document.getElementById('zoomtoggle').innerHTML=txt;}\n";
        print "\t</script>\n";
        print "\t<script type='text/javascript'>\n";
        print "\t\tvar TJPzoomoffset='smart';\n";
        print "\t\tvar zoomable=-1;\n";
        print "\t</script>\n";
    }
    print "</head>\n";
}
function write_header($date, $title, $this_page)
{
    print "<head>\n";
    print " <link rel=\"icon\" href=\".common_files/favicon.ico\" type=\"image/x-icon\">\n";
    print "\t<link rel=\"shortcut icon\" href=\"./common_files/favicon.ico\" type=\"image/x-icon\">\n";
    print "\t<meta http-equiv=\"Pragma\" content=\"no-cache\">\n";
    print "\t<meta http-equiv=\"refresh\" content=\"900\">\n";
    print "\t<title>{$title}</title>\n";
    print "\t<link rel=stylesheet href=\"./common_files/arm-style.css\" type=\"text/css\">\n";
    print "\t<meta name=\"orgcode\" content=\"682\">\n";
    print "\t<meta name=\"rno\" content=\"Joseph.B.Gurman.1\">\n";
    print "\t<meta name=\"content-owner\" content=\"Peter.T.Gallagher.1\">\n";
    print "\t<meta name=\"webmaster\" content=\"Amy.E.Skowronek.1\">\n";
    print "\t<script language=JavaScript1.2>\n";
    write_jscript($date, $this_page);
    print "\t</script>\n";
    print "</head>\n";
}