1
0
mirror of https://github.com/php/web-php.git synced 2026-04-29 09:53:12 +02:00
Files
archived-web-php/include/header.inc
T
Stewart Lord 86c75aca35 Made elephpant image banner dynamic.
Elephpant images are pulled from flickr via the php-master server hourly.
The web site now provides a simple PHP script to serve a random sampling
of these images in JSON format.

The web browser now loads the elephpant images via JavaScript, requesting
only the number of images that are required to fill the viewport. Images
are inserted into the page using the data URI scheme. This ensures that 
only one http request is needed to load all of the required images.

If the browser window resizes, the JavaScript will fetch additional images
as required to fill out the viewport again. There is a slight delay built
in (250ms) to avoid excessive requests while the window is being resized.

Some browsers (e.g. older versions of MSIE) do not support the data URI
scheme. For these browsers we may wish to provide a fallback mechanism of
aggregating the images (e.g. MHTML, aka MIME HTML).

If the images fail to load, the elephant banner is hidden automatically.
2011-09-21 04:33:01 +00:00

259 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" />
<!--[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="/svn.php">SVN (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 ?>">