cvs: php-gtk-web / download-docs.php

sfox		Tue Oct 17 18:31:07 2006 UTC

  Modified files:              
    /php-gtk-web	download-docs.php 
  Log:
  No way to test right now, hopefully this'll just work.
  
http://cvs.php.net/viewvc.cgi/php-gtk-web/download-docs.php?r1=1.10&r2=1.11&diff_format=u
Index: php-gtk-web/download-docs.php
diff -u php-gtk-web/download-docs.php:1.10 php-gtk-web/download-docs.php:1.11
--- php-gtk-web/download-docs.php:1.10	Fri Apr 14 03:31:43 2006
+++ php-gtk-web/download-docs.php	Tue Oct 17 18:31:06 2006
@@ -40,8 +40,8 @@
 <h1>Download documentation</h1>
 
 <p>
-The PHP-GTK manual is available in various formats. Pick a language and
-format from the table below to start downloading.
+Both the PHP-GTK 2 and the PHP-GTK 1 manual are available in various formats.
+Pick a version, a language and a format from the table below to start downloading.
 </p>
 
 <p>
@@ -53,6 +53,60 @@
 </p>
 
 <table border="0" cellpadding="2" cellspacing="1" width="100%">
+ <tr bgcolor="#dddddd">
+  <td colspan="<?php echo sizeof($formats); ?>"><b>PHP-GTK 2 manual</b></td>
+ </tr>
+ <tr bgcolor="#cccccc">
+  <td>&nbsp;</td>
+  <?php
+	while (list($k, $v) = each($formats)) {
+		echo "<th valign=\"bottom\">$v[0]</th>\n";
+	}?>
+ </tr>
+ <?php
+	while (list(,$langcode) = each($man2_languages)) {
+		$language = $LANGUAGES[$langcode];
+		echo "<tr>\n<td bgcolor=\"#dddddd\"><b>$language</b></td>\n";
+		reset($formats);
+		while (list($fn,$details) = each($formats)) {
+			echo "<td align=\"center\" bgcolor=\"#eeeeee\">";
+
+			$link_to = "";
+			if (file_exists("manual/$langcode/$fn")) {
+				$link_to = "manual/$langcode/$fn";
+			}
+			elseif (file_exists("distributions/manual/php_gtk_manual_$langcode.$details[1]")) {
+				$link_to = "distributions/manual/php_gtk_manual_$langcode.$details[1]";
+			}
+			elseif (file_exists("distributions/manual1/manual-$langcode.$details[1]")) {
+				$link_to = "distributions/manual/manual-$langcode.$details[1]";
+			}
+
+			if (!$link_to) {
+			echo "&nbsp;";
+			}
+			else {
+				$size = @filesize($link_to);
+				$changed = @filemtime($link_to);
+				$date_format = "j M Y"; // Part of the RFC date type (to be short)
+				if ($size) {
+					echo "<a href=\"$link_to\" title=\" Size: ", (int) ($size/1024), "Kb\n Date: ", date($date_format, $changed), "\">$details[1]</a>";
+					if ($sizes) {
+						echo "<br /><small>Size: ", (int) ($size/1024), "Kb<br />Date: ", date($date_format, $changed), "</small>";
+					}
+				} else {
+					echo "&nbsp;";
+				}
+			}
+			echo "</td>\n";
+		}
+		echo "</tr>\n";
+	}
+	reset($formats);
+?>
+ <tr bgcolor="#dddddd">
+  <td colspan="<?php echo sizeof($formats); ?>"><b>PHP-GTK 1 manual</b></td>
+ </tr>
  <tr bgcolor="#cccccc">
   <td>&nbsp;</td>
   <?php