1
0
mirror of https://github.com/php/web-php.git synced 2026-03-29 01:32:15 +01:00
Files
archived-web-php/include/header.inc
Adam Harvey f1f5e30ca3 Initial rewrite of the references to Subversion on the site to Git. Rewrites
welcome! A couple of important notes:

- I've largely dropped references to Subversion altogether, even knowing that
  php-doc hasn't migrated yet. We may need to put a few more "Git/SVN account"
  references in there if php-doc isn't going to be migrated in the near future.

- I've removed the quick start hints from git-php.php after an account request
  has been sent in. The documentation there was pretty skimpy anyway and
  probably wouldn't have been enough to get a developer going, plus it's harder
  to distill the Git workflow into three or four snappy commands and I'm not
  really convinced that a form confirmation page is the right place to have
  learning materials, since it's a one-time page for most users. Instead I've
  replaced them with links to the relevant Wiki pages, which seem more likely
  to be the right place for new developers to learn.

News post to come, but I wanted to separate this out for easier review.
2012-03-20 10:13:32 +08:00

269 lines
11 KiB
PHP

<?php
/* $Id$ */
// Disable caching, annoying while developing
$v = "?v=" .$_SERVER["REQUEST_TIME"];
header("Expires: Thu, 19 Nov 1981 08:52:00 GMT");
header("Cache-Control: no-store, no-cache, must-revalidate, post-check=0, pre-check=0");
header("Pragma: no-cache");
// Version information for the mega drop down.
include $_SERVER['DOCUMENT_ROOT'] . '/include/version.inc';
if (isset($shortname) && $shortname) {
header("Link: <$shorturl>; rel=shorturl");
}
?>
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="<?php echo $lang?>">
<head>
<title>PHP: <?php echo $title ?></title>
<meta charset="utf-8"/>
<link rel="shortcut icon" href="<?php echo $STATIC_ROOT ?>favicon.ico" />
<link rel="search" type="application/opensearchdescription+xml" href="http://www.php.net/phpnetimprovedsearch.src" title="Add PHP.net search" />
<link rel="alternate" type="application/atom+xml" href="<?php echo $MYSITE ?>releases.atom" 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 rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/reset.css<?php echo $v?>" media="all" />
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/theme.css<?php echo $v?>" media="screen" />
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/doc.css<?php echo $v?>" media="screen" />
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/home.css<?php echo $v?>" media="screen" />
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/dynamic.php<?php echo $v?>" media="screen" />
<?php
if(isset($config['css']) && is_array($config['css'])):
foreach($config['css'] as $file):
?>
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/<?= $file; ?>" media="screen" />
<?php
endforeach;
endif;
?>
<!--[if lte IE 7]>
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/workarounds.ie7.css<?php echo $v?>" media="screen" />
<![endif]-->
<!--[if lte IE 9]>
<link rel="stylesheet" type="text/css" href="<?php echo $STATIC_ROOT ?>styles/workarounds.ie9.css<?php echo $v?>" media="screen" />
<![endif]-->
<!--[if IE]>
<script type="text/javascript" src="<?php echo $STATIC_ROOT ?>js/ext/html5.js<?php echo $v?>"></script>
<![endif]-->
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.4/jquery.min.js"></script>
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.7/jquery-ui.min.js"></script>
<script type="text/javascript">
if (typeof jQuery == 'undefined') {
document.write('<script type="text/javascript" src="<?php echo $STATIC_ROOT ?>js/ext/jquery-1.4.4.min.js"><' + '/script>');
document.write('<script type="text/javascript" src="<?php echo $STATIC_ROOT ?>js/ext/jquery-ui-1.8.7.min.js"><' + '/script>');
}
</script>
<script type="text/javascript" src="<?php echo $STATIC_ROOT ?>js/common.js<?php echo $v?>"></script>
<?php if (!empty($_SERVER["BASE_HREF"])): ?>
<base href="<?php echo $_SERVER["BASE_HREF"] ?>" />
<?php endif ?>
</head>
<body class="<?php print $curr; ?>">
<div id="head-beta-warning">
<div id="beta-warning">
<a href="#" id="beta-warning-close">X</a>
<span class="blurb">
This is a work-in-progress experimental design.
Things <strong>will</strong> be broken and unfinished!
You may prefer <a href="http://php.net/?beta=0">php.net</a>
</span>
</div>
</div>
<nav id="headnav">
<ul id="headmenu">
<li id="headsearch">
<form method="post" action="/search.php" id="topsearch">
<fieldset>
<input type="search" id="headsearch-keywords" name="pattern" placeholder="Search..." size="30" accesskey="s" />
<input type="submit"
value="Go"
id="headsearch-submit"
class="submit" />
</fieldset>
</form>
</li>
<li id="headhome" class="parent <?php echo $curr == "home" ? "current" : ""?>">
<a href="/" rel="home" class="menu-link">Home</a>
<div class="children downloads"><div class="children-1"><div class="children-2">
<div class="what-is-php">
<p>
PHP is a popular general-purpose scripting language that is
especially suited to web development.
</p><p>
Fast, flexible and pragmatic, PHP powers everything from your blog to the largest social networking site in the world.
</p>
<p class="tutorial"><a href="/tut.php">Introductory Tutorial &raquo;</a></p>
</div>
<div class="download">
<h2>Download PHP</h2>
<?php if(!empty($RELEASES[5])): ?>
<ul class="download-list">
<?php
foreach ($RELEASES[5] as $version => $release):
$windowsVersionLink = substr($version, 0, strrpos($version, '.'));
?>
<li rel="/get/<?php echo $release['source'][1]['filename'] ?>/from/a/mirror">
<a href="/get/<?php echo $release['source'][1]['filename'] ?>/from/a/mirror" class="version" title="Download PHP">PHP <?php echo $version ?></a>
<a href="/get/<?php echo $release['source'][0]['filename'] ?>/from/a/mirror" title="Download bz2 version of PHP">Download as bz2</a>
<a href="http://windows.php.net/download/#php-<?php echo $windowsVersionLink; ?>" title="Download for Windows">Download for Windows</a>
<!-- (size) should go here, but it's not in version.inc at present -->
</li>
<?php endforeach; ?>
</ul>
<?php endif; ?>
</div>
<br style="clear: both;" />
</div></div></div>
</li>
<li class="<?php echo $curr == "downloads" ? "current" : ""?>">
<a href="/downloads.php" class="menu-link">Downloads</a>
</li>
<li class="parent <?php echo $curr == "docs" ? "current" : ""?>">
<a href="#docs" class="menu-link">Documentation</a>
<div class="children" id="docs"><div class="children-1"><div class="children-2">
<?php doc_toc($lang); ?>
<br style="clear: both;" />
</div></div></div>
</li>
<li class="parent <?php echo $curr == "community" ? "current" : ""?>">
<a href="#community" class="menu-link">Community</a>
<div class="children" id="community"><div class="children-1"><div class="children-2">
<?php news_toc(array('news')) ?>
<?php news_toc(array('conferences', 'papers')) ?>
<dl>
<dt><a href="https://wiki.php.net/">PHP Wiki</a></dt>
<dd><a href="https://wiki.php.net/rfc">Write a RFC</a></dd>
<dt><a href="/get-involved.php">Get Involved</a></dt>
<dd><a href="#">Report bugs</a></dd>
<dd><a href="#">Contribute code</a></dd>
<dd><a href="#">Organize an event</a></dd>
<dd><a href="#">Write documentation</a></dd>
<dd><a href="#">Test PHP</a></dd>
<dt><a href="/cal.php">Calendar of Events</a></dt>
<dd></dd>
</dl>
<dl>
<dt><a href="/mailing-lists.php">Mailing lists</a></dt>
<dd><a href="/unsub.php">Unsubscribe from mailing list</a></dd>
<!-- FIXME: This links.php stuff should be removed? -->
<dt><a href="/links.php">PHP related sites</a></dt>
<dd><a href="http://planet-php.net">Planet PHP</a></dd>
<dt><a href="#">About PHP.net</a></dt>
<dd><a href="/sites.php">Other PHP.net sites</a></dd>
<dd><a href="/my.php">My PHP.net</a></dd>
<dd><a href="/credits.php">Who's behind this?</a></dd>
<dd><a href="http://people.php.net/">Developers profiles</a></dd>
<dd><a href="/contact.php">Contact us</a></dd>
<dd><a href="/thanks.php">Thanks</a></dd>
</dl>
<br style="clear: both;" />
</div></div></div>
</li>
<li class="parent <?php echo $curr == "help" ? "current" : ""?>">
<a href="#support" class="menu-link">Help</a>
<div class="children" id="support"><div class="children-1"><div class="children-2">
<dl>
<dt><a href="#">Navigation tips</a></dt>
<dd><a href="/sidebars.php">Search sidebars</a></dd>
<dd><a href="/urlhowto.php">URL Howto</a></dd>
<dd><a href="/tips.php">Quick Reference tips</a></dd>
<dd><a href="/sites.php">Other PHP sites</a></dd>
</dl>
<dl>
<dt><a href="#">Support</a></dt>
<dd><a href="/mailing-lists.php">Mailing lists</a></dd>
<dd><a href="/support.php">General resources</a></dd>
<dd><a href="/ChangeLog-5.php">Changelog (PHP 5)</a></dd>
<dd><a href="/git.php">Git (PHP Source)</a></dd>
</dl>
<dl>
<dt><a href="https://bugs.php.net/">Bugs</a></dt>
<dd><a href="https://bugs.php.net/report.php">Report a bug</a></dd>
<dd><a href="https://bugs.php.net/how-to-report.php">How to file a bug report</a></dd>
<dd><a href="https://bugs.php.net/search.php">Search reported bugs</a></dd>
</dl>
<dl>
<dt><a href="/license/index.php">License information</a></dt>
<dd><a href="/license/contrib-guidelines-code.php">Contributor Guidelines</a></dd>
<dd><a href="/license/distrib-guidelines-code.php">Distribution Guidelines</a></dd>
<dd><a href="/software.php">Software covered by the PHP license</a></dd>
</dl>
<br style="clear: both;" />
</div></div></div>
</li>
</ul>
<br style="clear: both;" />
</nav>
<div id='mega-drop-down'>
<div id='menu-container'>
</div>
</div>
<?php
// if elephpants enabled, insert placeholder nodes
// to be populated with images via javascript.
if (isset($config['elephpants'])) {
print "<div class='elephpants'><div class=images></div></div>";
}
?>
<div id="layout">
<?php
if (!empty($SIDEBAR_DATA)) {
echo '<aside class="tips">',
'<div class="border first"></div>',
'<div class="border second"></div>',
'<div class="border third"></div>',
'<div class="inner">',
$SIDEBAR_DATA,
'</div></aside>';
}
if (!empty($config["leftmenu"])) {
echo "<aside class='layout-menu'><ul class='parent-menu-list'>";
foreach($config["leftmenu"] as $section) {
echo "<li><a href='{$section["link"]}'>{$section["title"]}</a>\n";
if ($section["children"]) {
echo "<ul class='child-menu-list'>";
foreach($section["children"] as $item) {
if ($item["current"]) {
echo "<li class='current'><a href='{$item["link"]}'>{$item["title"]}</a></li>\n";
} else {
echo "<li><a href='{$item["link"]}'>{$item["title"]}</a></li>\n";
}
}
echo "</ul>";
}
echo "</li>";
}
echo "</ul></aside>\n";
}
?>
<section class="layout-content <?php echo $curr ?>">