mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
bdfa96431c
PhpStorm flagged @name as a deprecated HTML attribute, so it seemed appropriate to change then to @id. In cases where there were both a @name and @id attribute and their values were the same, this commit removes the @name attribute (there were no cases where both @name and @id attributes existed but having different values.) Closes GH-416.
43 lines
1.1 KiB
PHP
43 lines
1.1 KiB
PHP
<?php
|
|
$_SERVER['BASE_PAGE'] = 'elephpant.php';
|
|
include_once __DIR__ . '/include/prepend.inc';
|
|
$SIDEBAR_DATA = '
|
|
<a id="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("ElePHPant", array("current" => "footer"));
|
|
?>
|
|
|
|
<a id="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
|
|
)
|
|
);
|