1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Fixed bug where 5.2.17 wasn't showing up properly. Bug reported by Ferenc

This commit is contained in:
Philip Olson
2011-07-17 18:08:02 +00:00
parent 20e7bddedf
commit 86f4de2ee5

View File

@@ -8,6 +8,7 @@ if (isset($_GET["serialize"])) {
include_once $_SERVER["DOCUMENT_ROOT"] . "/include/version.inc";
$RELEASES[5][$PHP_5_3_VERSION]["date"] = $PHP_5_3_DATE;
$RELEASES[5][$PHP_5_2_VERSION]["date"] = $PHP_5_2_DATE;
$RELEASES = $RELEASES + $OLDRELEASES;
if (isset($_GET["version"])) {
@@ -27,8 +28,7 @@ if (isset($_GET["serialize"])) {
/* check if other $RELEASES[$ver] are there */
/* e.g., 5_2, 5_3, and 5_4 all exist and have a release */
while(($z = each($RELEASES[$ver])) && $count++ < $max) {
list($version, $r) = each($z);
$return[$version] = $r;
$return[$z[0]] = $z[1];
}
foreach($OLDRELEASES[$ver] as $version => $release) {