cvs: php-master-web /scripts php_version
| From: | Hannes Magnusson | Date: | Mon, 29 Jun 2009 19:25:20 +0000 |
| Subject: | cvs: php-master-web /scripts php_version | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-5160@lists.php.net to get a copy of this message | ||
bjori Mon Jun 29 19:25:20 2009 UTC
Modified files:
/php-master-web/scripts php_version
Log:
Support for multiple major versions
http://cvs.php.net/viewvc.cgi/php-master-web/scripts/php_version?r1=1.4&r2=1.5&diff_format=u
Index: php-master-web/scripts/php_version
diff -u php-master-web/scripts/php_version:1.4 php-master-web/scripts/php_version:1.5
--- php-master-web/scripts/php_version:1.4 Thu Feb 28 08:20:03 2008
+++ php-master-web/scripts/php_version Mon Jun 29 19:25:20 2009
@@ -33,25 +33,46 @@
$LAST_UPDATED = 0;
foreach($RELEASES as $major => $release) {
- list($version, $info) = each($release);
- $rc = false;
+ for ($i=1; $i<=2; ++$i) {
+ list($version, $info) = each($release);
+ if (!$version) {
+ var_dump("Skipping $version");
+ continue;
+ }
+ $rc = false;
- do {
$rel = $doc->createElement("entry");
$title = $doc->createElement("title", "PHP $version released!");
$rel->appendChild($title);
$rel->appendChild($doc->createElement("php:version", $version));
- $tmp = $rc ? "PHP_{$major}_RC_DATE" : "PHP_{$major}_DATE";
+ $var = null;
+ if ($rc) {
+ $var = "PHP_{$major}_DATE";
+ if (isset($var)) {
+ $tmp = "PHP_{$major}_DATE";
+ } else {
+ $minor = round($version, 1);
+ $tmp = "PHP_{$minor}_DATE";
+ }
+ } else {
+ $var = "PHP_{$major}_RC_DATE";
+ if (isset($var)) {
+ $tmp = "PHP_{$major}_RC_DATE";
+ } else {
+ $minor = round($version, 1);
+ $tmp = "PHP_{$minor}_RC_DATE";
+ }
+ }
$published = $updated = strtotime($$tmp);
$date = $doc->createElement("published", date(DATE_ATOM, $published));
$rel->appendChild($date);
$sources = array();
- if (isset($info["source"], $info["windows"]) && !$rc) {
- $sources = array_merge($info["source"], $info["windows"]);
+ if (isset($info["source"]) && !$rc) {
+ $sources = $info["source"];
$node = $doc->createElement("summary", $ANNOUNCEMENT_TEXT);
$node->setAttribute("type", "html");
} elseif ($rc) {
@@ -102,13 +123,8 @@
$nodes[] = $rel;
list($version, $info) = each($release);
- if ($version) {
- $rc = true;
- continue;
- }
-
- break;
- } while(1);
+ $rc = stripos($version, "rc") !== false;
+ }
}
$feed->appendChild($doc->createElement("updated", date(DATE_ATOM,
$LAST_UPDATED)));