1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/include/header.inc
Hannes Magnusson 681bea8bb4 Revert "Add a quick help for those running without javascript"
This reverts commit bb84c7bbcd.

Surprisingly enough, there seem to be several active users that don't have js enabled :D
2014-01-08 17:45:22 -08:00

184 lines
6.4 KiB
PHP
Executable File

<?php
/* $Id$ */
$cssfiles = array(200 => "theme-base.css", "theme-medium.css");
if (isset($config['css'])) {
$cssfiles += (array) $config['css'];
}
foreach($cssfiles as $filename) {
$path = dirname(dirname(__FILE__)).'/styles/'.$filename;
$CSS[$filename] = @filemtime($path);
}
if (isset($shortname) && $shortname) {
header("Link: <$shorturl>; rel=shorturl");
}
if ($config["cache"]) {
if (is_numeric($config["cache"])) {
$timestamp = $config["cache"];
} else {
$timestamp = filemtime($_SERVER["DOCUMENT_ROOT"] . "/" .$_SERVER["BASE_PAGE"]);
}
$tsstring = gmdate("D, d M Y H:i:s ", $timestamp) . "GMT";
if (isset($_SERVER["HTTP_IF_MODIFIED_SINCE"]) && $_SERVER["HTTP_IF_MODIFIED_SINCE"] == $tsstring) {
header("HTTP/1.1 304 Not Modified");
exit;
}
header("Last-Modified: " . $tsstring);
}
?>
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="<?php echo $lang?>">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>PHP: <?php echo $title ?></title>
<link rel="shortcut icon" href="<?php echo $MYSITE ?>favicon.ico">
<link rel="search" type="application/opensearchdescription+xml" href="http://php.net/phpnetimprovedsearch.src" title="Add PHP.net search">
<link rel="alternate" type="application/atom+xml" href="<?php echo $MYSITE ?>releases/feed.php" title="PHP Release feed">
<link rel="alternate" type="application/atom+xml" href="<?php echo $MYSITE ?>feed.atom" title="PHP: Hypertext Preprocessor">
<?php if (isset($_SERVER['BASE_PAGE'])): ?>
<link rel="canonical" href="http://php.net/<?php echo $_SERVER['BASE_PAGE']?>">
<?php if ($shortname): ?>
<link rel="shorturl" href="<?php echo $shorturl ?>">
<?php endif ?>
<?php endif ?>
<?php foreach($config["meta-navigation"] as $rel => $page): ?>
<link rel="<?php echo $rel ?>" href="<?php echo $MYSITE ?><?php echo $page ?>">
<?php endforeach ?>
<link href='http://fonts.googleapis.com/css?family=Source+Sans+Pro:400,600,400italic,600italic|Source+Code+Pro&amp;subset=latin,latin-ext' rel='stylesheet' type='text/css'>
<?php foreach($CSS as $filename => $modified): ?>
<link rel="stylesheet" type="text/css" href="<?php echo $MYSITE ?>cached.php?t=<?php echo $modified?>&amp;f=styles/<?php echo $filename?>" media="screen">
<?php endforeach ?>
<!--[if lte IE 7]>
<link rel="stylesheet" type="text/css" href="<?php echo $MYSITE ?>styles/workarounds.ie7.css" media="screen" />
<![endif]-->
<!--[if lte IE 9]>
<link rel="stylesheet" type="text/css" href="<?php echo $MYSITE ?>styles/workarounds.ie9.css" media="screen" />
<![endif]-->
<!--[if IE]>
<script type="text/javascript" src="<?php echo $MYSITE ?>js/ext/html5.js"></script>
<![endif]-->
<?php if (!empty($_SERVER["BASE_HREF"])): ?>
<base href="<?php echo $_SERVER["BASE_HREF"] ?>">
<?php endif ?>
</head>
<body class="<?php print $curr; ?> <?php echo $classes; ?>">
<nav id="head-nav" class="navbar navbar-fixed-top">
<div class="navbar-inner clearfix">
<a href="/" class="brand"><img src="/images/logo.php" width="48" height="24" alt="php"></a>
<div id="mainmenu-toggle-overlay"></div>
<input type="checkbox" id="mainmenu-toggle" />
<ul class="nav">
<li class="<?php echo $curr == "downloads" ? "active" : ""?>"><a href="/downloads">Downloads</a></li>
<li class="<?php echo $curr == "docs" ? "active" : ""?>"><a href="/docs.php">Documentation</a></li>
<li class="<?php echo $curr == "community" ? "active" : ""?>"><a href="/get-involved" >Get Involved</a></li>
<li class="<?php echo $curr == "help" ? "active" : ""?>"><a href="/support">Help</a></li>
</ul>
<form class="navbar-search" id="topsearch" action="/search.php">
<input type="hidden" name="show" value="quickref">
<input type="search" name="pattern" class="search-query" placeholder="Search" accesskey="s">
</form>
</div>
<div id="flash-message"></div>
</nav>
<?php if (!empty($config["headsup"])): ?>
<div class="headsup"><?php echo $config["headsup"]?></div>
<?php endif ?>
<nav id="trick"><div><?php doc_toc("en") ?></div></nav>
<div id="goto">
<div class="search">
<div class="text"></div>
<div class="results"><ul></ul></div>
</div>
</div>
<?php if (!empty($config['breadcrumbs'])): ?>
<div id="breadcrumbs">
<?php if (isset($config['prev'])): ?>
<div class="prev">
<a href="<?php echo $config['prev'][0]; ?>">
&laquo; <?php echo $config['prev'][1]; ?>
</a>
</div>
<?php endif; ?>
<?php if (isset($config['next'])): ?>
<div class="next">
<a href="<?php echo $config['next'][0]; ?>">
<?php echo $config['next'][1]; ?> &raquo;
</a>
</div>
<?php endif; ?>
<ul class="breadcrumbs-container">
<?php
$breadcrumbs = $config['breadcrumbs'];
$last = array_pop($breadcrumbs);
foreach ($breadcrumbs as $crumb) {
echo " <li><a href='{$crumb['link']}'>{$crumb['title']}</a></li>";
}
echo " <li><a href='{$last['link']}'>{$last['title']}</a></li>";
?>
</ul>
</div>
<?php endif; ?>
<?php if (!empty($config['intro'])):?>
<div id="intro" class="clearfix">
<div class="container">
<?php echo $config['intro'];?>
</div>
</div>
<?php endif;?>
<div id="layout">
<?php if (!empty($config["leftmenu"])): ?>
<aside class='layout-menu'>
<ul class='parent-menu-list'>
<?php foreach($config['leftmenu'] as $section): ?>
<li>
<a href="<?php echo $section['link']; ?>"><?php echo $section['title']; ?></a>
<?php if ($section['children']): ?>
<ul class='child-menu-list'>
<?php
foreach($section['children'] as $item):
$cleanTitle = $item['title'];
?>
<li class="<?php echo ($item['current']) ? 'current' : ''; ?>">
<a href="<?php echo $item['link']; ?>" title="<?php echo $cleanTitle; ?>"><?php echo $cleanTitle; ?></a>
</li>
<?php endforeach; ?>
</ul>
<?php endif; ?>
</li>
<?php endforeach; ?>
</ul>
</aside>
<?php endif; ?>
<section id="layout-content">