function pagehead($title = 'title', $popup = false) { print <<<EOS <html> <head> <meta charset="UTF-8"> <title>{$title}</title> <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon"> <link rel="icon" href="/favicon.ico" type="image/x-icon"> EOS; $script = <<<EOS <script type="text/javascript" src="/js/script.js" charset="utf-8"></script> <!-- <script src='/js/script.md5.js' type='text/javascript'></script> --> EOS; $style = <<<EOS <link rel='stylesheet' type='text/css' href='/css/style.css'/> EOS; // jquery $script .= <<<EOS <script type="text/javascript" src="/js/jquery-1.8.3.min.js"></script> EOS; // jquery horizontalNav $script .= <<<EOS <script type="text/javascript" src="/js/jquery.horizontalNav.min.js"></script> EOS; // jquery-ui // http://jqueryui.com/selectmenu/ $script .= <<<EOS <script type="text/javascript" src="/utl/jquery-ui/jquery-ui.min.js"></script> EOS; $style .= <<<EOS <link rel="stylesheet" href="/utl/jquery-ui/jquery-ui.min.css"> <link rel="stylesheet" href="/utl/jquery-ui/jquery-ui.theme.min.css"> EOS; if (0) { // jquery mobile // http://jquerymobile.com/ $style .= <<<EOS <link rel="stylesheet" href="http://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.min.css" /> EOS; $script .= <<<EOS <script src="http://code.jquery.com/jquery-1.11.1.min.js"></script> <script src="http://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.min.js"></script> EOS; } print $script; print $style; print <<<EOS </head> <body> EOS; if (!$popup) { pagemenu(); } }
function pagehead($title = '') { global $conf; $now = date("Y.m.d H:i:s"); $url1 = $conf['activemq_url1']; print <<<EOS <html> <head> <title>{$title}</title> <link rel='stylesheet' type='text/css' href='style.css'/> <script type="text/javascript" src="script.js"></script> </head> <body> <a href='log.php'>log monitor</a> :: <a href='sm.php'>server monitor</a> :: <a href='{$url1}' target=_blank>activemq</a> :: <a href='health.php'>health monitor</a> :: {$now} <br> EOS; pagemenu(); }