From 86f4de2ee54dbc98347afa72742bb0bcad5c5c7f Mon Sep 17 00:00:00 2001 From: Philip Olson Date: Sun, 17 Jul 2011 18:08:02 +0000 Subject: [PATCH] Fixed bug where 5.2.17 wasn't showing up properly. Bug reported by Ferenc --- releases/index.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/releases/index.php b/releases/index.php index eebe84c95..f7c6343c6 100644 --- a/releases/index.php +++ b/releases/index.php @@ -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) {