PHP
is a widely-used general-purpose scripting language that is
especially suited for Web development and can be embedded into HTML.
If you are new to PHP and want to get some idea
of how it works, try the introductory tutorial.
After that, check out the online manual.
';
$MIRROR_IMAGE = '';
// Try to find a sponsor image in case this is an official mirror
if (is_official_mirror()) {
// Iterate through possible mirror provider logo types in priority order
$types = array("gif", "jpg", "png");
while (list(,$ext) = each($types)) {
// Check if file exists for this type
if (file_exists("backend/mirror." . $ext)) {
// Add text to rigth sidebar
$MIRROR_IMAGE = "
This mirror sponsored by:
\n";
// Create image HTML code
$img = make_image(
'mirror.' . $ext,
htmlspecialchars(mirror_provider()),
FALSE,
FALSE,
'backend',
0
);
// Add size information depending on mirror type
if (is_primary_site() || is_backup_primary()) {
$img = resize_image($img, 125, 125);
} else {
$img = resize_image($img, 120, 60);
}
// End mirror specific part
$MIRROR_IMAGE .= '' .
$img . "
\n";
// We have found an image
break;
}
}
}
/* {{{ Generate latest release info */
/* NOTE: You are editing the wrong file, you should be in include/version.inc
* For RC: See the $PHP_x_RC variable
* For STABLE: See the $PHP_x_VERSION/_DATE/_MD5 variables
*/
$PHP_5_STABLE = array();
$PHP_5_RC = array();
$rel = $rc = "";
$SHOW_COUNT = 3;
for ($i=1; $i<=$SHOW_COUNT; ++$i) {
list($PHP_5_STABLE, ) = each($RELEASES[5]);
$minor = round($PHP_5_STABLE, 1);
$rel .= <<< EOT