cvs: phpweb / docs.php
| From: | Hojtsy Gabor | Date: | Sun, 11 Mar 2001 11:52:57 +0000 |
| Subject: | cvs: phpweb / docs.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-4389@lists.php.net to get a copy of this message | ||
goba Sun Mar 11 03:52:57 2001 EDT
Modified files:
/phpweb docs.php
Log:
Filse sizes are an important thing. Now the pack sizes
will show up in Internet Explorer, when the user moves
her mouse above one link (except pdf files). Adding
the tip pointing to this information.
Index: phpweb/docs.php
diff -u phpweb/docs.php:1.66 phpweb/docs.php:1.67
--- phpweb/docs.php:1.66 Sun Mar 11 03:38:39 2001
+++ phpweb/docs.php Sun Mar 11 03:52:56 2001
@@ -58,7 +58,9 @@
<h1>PHP Manual</h1>
<p>The PHP manual is available in a selection of languages
-and formats. Pick a language and format from the table below:
+and formats. Pick a language and format from the table below.
+Tip: If you are using Internet Explorer, the file size
+will show up, when you move the mouse above one link.
</p>
<table border="0" cellpadding="2" cellspacing="1"
width="100%">
@@ -82,7 +84,11 @@
}
# temporary hack until chm are auto-generated
if ($fn == "manual.chm") {
- echo "<a
href=\"distributions/manual_$langcode.chm\">$details[1]</a></td>";
+ $size = @filesize("distributions/manual_$langcode.chm");
+ if ($size) {
+ $print_size = ($details[2] ? ' title="' . (int) ($size/1024) .
'Kb"' : '');
+ }
+ echo "<a
href=\"distributions/manual_$langcode.chm\"$print_size>$details[1]</a></td>";
continue;
}
$size = @filesize("manual/$langcode/$fn");