Commit 5be57e52 authored by Clément Stenac's avatar Clément Stenac

We live in 2006 !

PHP3 -> PHP + a bunch of validation fixes
parent aad1ba40
<?php
$title = "403 forbidden";
$menu = array( "vlc", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1 class="error">403 error: forbidden</h1>
......
<?php
$title = "404 not found";
$menu = array( "vlc", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1 class="error">404 error: page not found</h1>
......
......@@ -41,7 +41,7 @@ clean: clean-recursive
HERE=$(HERE)$$d/ || exit $$? ; \
done
%.html: %.php $(ROOT)Makefile $(ROOT)/include/*.php $(ROOT)/include/*.php3 $(ROOT)/include/mirrors $(ROOT)/include/menu/*
%.html: %.php $(ROOT)Makefile $(ROOT)/include/*.php $(ROOT)/include/*.php $(ROOT)/include/mirrors $(ROOT)/include/menu/*
@echo "Preprocessing $@ ..."
@rm -f $@.tmp
@cd $(ROOT) || exit 1 ; \
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "24 July 2002";
$menu = array( "project", "contribute" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "4 October 2002";
$menu = array( "doc" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Documentation </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "06 July 2002";
$menu = array( "project", "contribute" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "16 November 2005";
$menu = array( "vlc" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<p>(English, French and German version available)</p>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "6 April 2002";
$menu = array( "project", "events" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Events </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "9 March 2003";
$menu = array( "project", "goodies" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......
......@@ -48,7 +48,7 @@ function pkgitem($description,$version,$name,$top,$extradescription="")
$mirror_name = substr( $mirror, $esp+1, strlen( $mirror ) - $esp -1 );
$country = ereg_replace( "\).*$", "", ereg_replace( "^.*\(", "", $mirror_name ) );
$mirror_name = ereg_replace( "\(.*\)", "", $mirror_name );
echo " <tr><td>$mirror_name</td><td>$country</td><td><a href=\"http://www.videolan.org/mirror.html?mirror=$url&amp;file=$top/$version/$name\">Download</td></tr>\n ";
echo " <tr><td>$mirror_name</td><td>$country</td><td><a href=\"http://www.videolan.org/mirror.html?mirror=$url&amp;file=$top/$version/$name\">Download</a></td></tr>\n ";
}
?>
</tbody></table>
......
......@@ -3,9 +3,9 @@
$lang = "en";
$date = "06 April 2002";
$menu = array( "vlc", "overview" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php3");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php");
?>
<h1>Latest news</h1>
......@@ -22,7 +22,7 @@
<h1>VLC media player 0.8.5</h1>
<ul class="panel-blue-bullet">
<li>It is a free cross-platform media player</p>
<li>It is a free cross-platform media player</li>
<li>It supports a <a href="/vlc/features.html">large number of multimedia formats</a>, without the need for additional codecs</li>
<li>It is available for almost every OS</li>
<li>It needs little CPU power</li>
......@@ -159,7 +159,7 @@ else
on the fly transcoding, ...)</li>
</ul>
<div class="more">
<a href="/vlc/streaming.html">Learn more</a></p>
<a href="/vlc/streaming.html">Learn more</a>
</div>
<?php panel_end(); ?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "28 April 2003";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php function pkgitem($version,$name) { ?><li><a href="http://download.videolan.org/pub/videolan/vlc/<?php echo $version."/".$name; ?>"><code><?php echo $name; ?></code></a></li><?php } ?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 Octobre 2001";
$menu = array( "home", "links" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 February 2001";
$menu = array( "project", "news" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
......@@ -14,7 +14,7 @@
<p><span class="summary"><a href="http://www.videolan.org/">VideoLAN</a> is a Free Software and Open Source multi-platform video streaming solution. It also features a cross-plaform multimedia player, <a href="http://www.videolan.org/vlc/">VLC</a>, which can be used to read the stream from the network or display video read locally on the computer</span></p>
<?php
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php3");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php");
shownews("full",0);
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "5 February 2002";
$menu = array( "project", "partners" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......@@ -61,7 +61,7 @@ cooperation of our partners, on both technical and financial sides: </p>
RAM and 4 36 GB SCSI hard drives. VideoLAN also won a <a
href="http://download.videolan.org/images/sirius1.png">nice
HP laptop</a> at <a
href="http://www.tropheesdulibre.org/article.php3?id_article=47"
href="http://www.tropheesdulibre.org/article.php?id_article=47"
>Journées du Libre</a>.</p>
</td>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "06 April 2005";
$menu = array( "vlc" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> The end draws near...</h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "19 January 2005";
$menu = array( "vlc" );
require($_SERVER["DOCUMENT_ROOT"]."include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "9 March 2006";
$menu = array( "vlc" );
require($_SERVER["DOCUMENT_ROOT"]."include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "1 April 2006";
$menu = array( "vlc" );
require($_SERVER["DOCUMENT_ROOT"]."include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,9 +3,9 @@
$lang = "en";
$date = "06 April 2002";
$menu = array( "project", "overview" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php3");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php");
?>
<h1>The VideoLAN Project</h1>
......
......@@ -2,7 +2,7 @@
$title = "VideoLAN - List of CSS-free DVDs";
$lang = "en";
$date = "06 April 2002";
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1>List of CSS-free DVDs</h1>
......
......@@ -3,7 +3,7 @@
$lang = "fr";
$date = "5 Juin 2004";
$menu = array( "home", "overview" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> VideoLAN - Tests de diffusion sur la Rez </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "06 April 2002";
$menu = array( "home", "overview" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......
......@@ -3,9 +3,9 @@
$lang = "en";
$date = "06 April 2002";
$menu = array( "home", "overview" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php3");
include($_SERVER["DOCUMENT_ROOT"]."/include/news.php");
?>
<div id="fullwidth">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 october 2003";
$menu = array( "streaming", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 January 2003";
$menu = array( "streaming", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "9 October 2001";
$menu = array( "streaming", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "9 October 2001";
$menu = array( "streaming", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "9 October 2001";
$menu = array( "streaming", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "11 January 2002";
$menu = array( "streaming", "features" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Streaming features list </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "11 January 2002";
$menu = array( "streaming", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Streaming </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "28 October 2003";
$menu = array( "streaming", "statistics" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Streaming statistics list </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "25 January 2003";
$menu = array( "support", "report" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Bug reporting </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "10 July 2003";
$menu = array( "support", "consultants" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Consulting services </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "13 January 2002";
$menu = array( "vlc", "support" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> User support </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 February 2001";
$menu = array( "support", "mail" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> User mailing-lists </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "30 March 2001";
$menu = array( "support", "" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> User mailing-lists subscription </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "7 April 2002";
$menu = array( "project", "team" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<h1> Team / Contact </h1>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "8 May 2006";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "16 April 2001";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
......@@ -12,16 +12,13 @@
<div id="left">
<ul>
<ul><li>
<?php pkgitem("Latest BeOS package (0.8.5)",
"0.8.5/beos","vlc-0.8.5-beos-i586.zip","vlc"); ?>
</ul>
</li></ul>
<h2>Older versions</h2>
<p> Older versions can be found by browsing our FTP site :</p>
<ul> <?php mirrordir("vlc"); ?> </ul>
</div>
<?php browse_old( "vlc" );?>
<div id="right">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 December 2004";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php function pkgitem($version,$name,$comment) { ?><li><a href="http://download.videolan.org/pub/videolan/<?php echo $version."/".$name; ?>"><code><?php echo $name; ?></code></a> <?php echo $comment; ?> </li><?php } ?>
......
......@@ -3,13 +3,12 @@
$lang = "en";
$date = "14 February 2003";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
<div id="fullwidth">
<h1> VLC media player for <a href="http://debian.org">Debian GNU/Linux</a></h1>
<div id="left">
<h2> Debian stable (sarge) </h2>
......@@ -52,6 +51,15 @@ branch. However you should still use our apt-get line if you need libdvdcss: </p
</div>
<div id="right">
<?php panel_start( "blue" ); ?>
<h1>Developement snapshots</h1>
<p>Developement snapshots are available on <a href="http://nightlies.videolan.org">nightlies.videolan.org</a>.</p>
<?php panel_end(); ?>
</div>
<?php
footer('$Id$');
?>
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "01 March 2004";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<div id="fullwidth">
......@@ -35,11 +35,11 @@ Packages from VLC version 0.4.5 onwards support <b>Familiar Linux version 0.6</b
<h2>Familiar Linux Gtk+/GPE</h2>
<p>
The packages for Familiar GPE are being split up in two separate uses.
<ul>
<li>One for use on small sized flash discs iPAQ's, like H3600 and H3800.<li>
The packages for Familiar GPE are being split up in two separate uses.</p>
<ul class="bullets">
<li>One for use on small sized flash discs iPAQ's, like H3600 and H3800.</li>
<li>The other for more functionality and codec support targeted at PXA (XScale) iPAQ's.</li>
</ul></p>
</ul>
<p>The latest VLC packages for Familiar Linux 0.7.1 are here:</p>
<h3>GPE (H3600/H3800)</h3>
......
......@@ -3,17 +3,15 @@
$lang = "en";
$date = "21 June 2004";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
require($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
?>
<?php function pkgitem($version,$name,$comment) { ?><li><a href="http://download.videolan.org/pub/videolan/<?php echo $version."/".$name; ?>"><code><?php echo $name; ?></code></a> <?php echo $comment; ?> </li><?php } ?>
<div id="fullwidth">
<h1>VLC media player for <a href="http://fedora.redhat.com/">Fedora Core</a> 3</h1>
<h2>Unofficial Fedora Core packages</h1>
<h1>Unofficial Fedora Core packages</h1>
<p>rpm.livna.org maintains some Fedora Core Packages for VLC: <a href="http://rpm.livna.org/">get them here</a>.</p>
......@@ -43,26 +41,22 @@ uncompress them in the same directory :</p>
<p>Latest RPM x86 packages tarballs for Fedora Core 3 : </p>
<ul>
<?php pkgitem("vlc/0.8.1/rpm/fedora/fc3","vlc-binary.tar.gz","(VLC Binaries packages)");?>
<ul><li>
<?php pkgitem( "VLC Binary packages","vlc/0.8.1/rpm/fedora/fc3","vlc-binary.tar.gz","");?></li>
</ul>
<p>Optional components:</p>
<ul><?php
pkgitem("vlc/0.8.1/rpm/fedora/fc3","vlc-devel.tar.gz","(VLC Development headers)");
pkgitem("vlc/0.8.1/rpm/fedora/fc3","vlc-source.tar.gz","(VLC Source Code)");
?></ul>
<ul><li><?php pkgitem_nomirr( "VLC Development headers","vlc/0.8.1/rpm/fedora/fc3","vlc-devel.tar.gz","");?></li>
<li><?php pkgitem_nomirr("VLC Source Code", "vlc/0.8.1/rpm/fedora/fc3","vlc-source.tar.gz","") ?></li>
</ul>
<p>You can also browse the packages directory of our FTP site : </p>
<ul> <?php mirrordir("vlc/0.8.1/rpm/fedora/fc3/vlc"); ?> </ul>
<p>You can also browse the <a href="http://download.videolan.org/pub/videolan/vlc/0.8.1/rpm/fedora/fc3/vlc">packages directory of our FTP site</a>.</p>
<p>Thank to Jason Luka who maintains these packages</p>
<h2>Older versions</h2>
<p> Older versions can be found by browsing our FTP site :</p>
<ul> <?php mirrordir("vlc"); ?> </ul>
<?php browse_old("vlc") ; ?>
</div>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "24 June 2005";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "4 May 2003";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "11 February 2003";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php function pkgitem($version,$name) { ?><li><a href="http://download.videolan.org/pub/videolan/<?php echo $version."/".$name; ?>"><code><?php echo $name; ?></code></a></li><?php } ?>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "16 April 2001";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
......@@ -38,18 +38,18 @@
<p><b>Requires <a href="http://www.apple.com/support/downloads/quicktime652formac.html">QuickTime 6.5.2</a> or later</b></p>
<ul>
<?php pkgitem( "Last Mac OS X package for 10.2, 10.3 up to 10.3.8 (release 0.8.4a)", "0.8.4a/macosx","vlc-0.8.4a.dmg","vlc"); ?>
<li>
<?php pkgitem_nomirr( "Last Mac OS X package for 10.2, 10.3 up to 10.3.8 (release 0.8.4a)", "0.8.4a/macosx","vlc-0.8.4a.dmg","vlc"); ?>
</li>
</ul>
<h2>Last Mac OS X package for 10.1 (release 0.7.0)</h2>
<ul>
<?php pkgitem( "Last Mac OS X package for 10.1 (release 0.7.0)", "0.7.0/macosx","vlc-0.7.0.dmg","vlc"); ?>
<ul> <li>
<?php pkgitem_nomirr( "Last Mac OS X package for 10.1 (release 0.7.0)", "0.7.0/macosx","vlc-0.7.0.dmg","vlc"); ?></li>
</ul>
<h2>Older versions</h2>
<p> Older versions can be found by browsing our FTP site:</p>
<ul> <?php mirrordir("vlc"); ?> </ul>
<?php browse_old( "vlc" ); ?>
</div>
<div id="right">
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "14 February 2003";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php function pkgitem($version,$name,$comment) { ?><li><a href="http://download.videolan.org/pub/videolan/<?php echo $version."/".$name; ?>"><code><?php echo $name; ?></code></a> <?php echo $comment; ?> </li><?php } ?>
......
......@@ -3,12 +3,10 @@
$lang = "en";
$date = "21 June 2004";
$menu = array( "vlc", "download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
include($_SERVER["DOCUMENT_ROOT"]."/include/mirrordir.php");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
include($_SERVER["DOCUMENT_ROOT"]."/include/package.php");
?>
<?php function pkgitem($version,$name,$comment) { ?><li><a href="http://download.videolan.org/pub/videolan/<?php echo $version."/".$name; ?>"><code><?php echo $name; ?></code></a> <?php echo $comment; ?> </li><?php } ?>
<h1>VLC media player for <a href="http://www.redhat.com/">Red Hat Linux</a></h1>
<div id="fullwidth">
......@@ -21,9 +19,7 @@
<p><b>NOTE:</b> Be sure to run the RH9 update package listed beneath the FC2 package.</p>
<h2>Older versions</h2>
<p> Older versions can be found by browsing our FTP site :</p>
<ul> <?php mirrordir("vlc"); ?> </ul>
<?php browse_old( "vlc" ); ?>
</div>
......
......@@ -3,7 +3,7 @@
$lang = "en";
$date = "28 March 2003";
$menu = array( "vlc", "skins-download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>
<?php
......
......@@ -19,7 +19,7 @@
$lang = "en";
$date = "28 March 2003";
$menu = array( "vlc", "skins-download" );
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php3");
require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
?>