php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-04-23 23:18:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

A few fixes...

Browse Source
This commit is contained in:
Zeev Suraski
1998-02-01 17:44:06 +00:00
parent e16cf0e669
commit 20990811df
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
download.php3
+3 -3
View File
@@ -10,15 +10,15 @@
reset($mirror_sites);
while ($site = key($mirror_sites)) {
next($mirror_sites);
$src_file = "$site\php-$current\.tar.gz";
$win32_file = "$site\php-$current-win32.zip";
$src_file = "${site}php-${current}.tar.gz";
$win32_file = "${site}php-${current}-win32.zip";
echo(" <tr>\n");
echo(" <td>Download ");
download_link($src_file, "PHP $current source");
echo(" or ");
download_link($win32_file, "$current Win32 binary");
echo(" from " . $mirror_sites[$site][1] . "</td>\n");
echo(' <td align="center"><a href="' . $src_file . '"><img src="gifs/' .
echo(' <td align="center"><a href="' . $src_file . '"><img width="100" height="64" src="gifs/' .
$mirror_sites[$site][0] . '.gif" border="0"></a></td>');
echo("\n </tr>\n");
}