com web/php: ElePHPant: elephpant.php include/footer.inc

Commit: 85356414bac4635dcb0b55e7d923fcbb6200ade7 Author: Andrea Faulds <ajf@ajf.me> Sat, 4 Oct 2014 15:19:05 +0100 Parents: 1cb1e307530fe5eadf272cd2509abd12aed09f25 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=85356414bac4635dcb0b55e7d923fcbb6200ade7 Log: ElePHPant Changed paths: A elephpant.php M include/footer.inc Diff: diff --git a/elephpant.php b/elephpant.php new file mode 100644 index 0000000..105cd2d --- /dev/null +++ b/elephpant.php @@ -0,0 +1,43 @@ +<?php +// $Id$ +$_SERVER['BASE_PAGE'] = 'elephpant.php'; +include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; +$SIDEBAR_DATA = ' +<a name="license"></a> +<h3>PHP License</h3> +<p> + For information on the PHP License (i.e. using the PHP language), + <a href="/license/">see our licensing information page</a>. +</p> +'; +site_header("Copyright", array("current" => "footer")); +?> + +<a name="copyright"></a> +<h1>ElePHPant</h1> + +<p> + The ElePHPant is the adorable, elephantine mascot of the PHP project. + Occasionally, official stuffed toy elePHPants designed by + <a href="http://www.elroubio.net">Vincent Pontier</a> are made available. + You may have seen pictures of them (from + <a href="https://www.flickr.com/groups/elephpants/">Flickr</a>) at the bottom + of the php.net homepage. Beware of imitators. +</p> + +<p> + <img src="images/logos/elephpant-running-78x48.gif" alt=""> +</p> + +<p> + For more information on the PHP Group and the PHP project, please see + <a href="http://php.net/">the PHP homepage</a>. +</p> + +<?php +// Print the common footer. +site_footer( + array( + 'elephpants' => true + ) +); diff --git a/include/footer.inc b/include/footer.inc index 4eb0870..b15b538 100644 --- a/include/footer.inc +++ b/include/footer.inc @@ -54,6 +54,7 @@ <li><a href="/sites..php">Other PHP.net sites</a></li> <li><a href="/mirrors.php">Mirror sites</a></li> <li><a href="/privacy.php">Privacy policy</a></li> + <li><a href="/elephpant.php">ElePHPant</a></li> </ul> </div> </div>