r4577 | thresh | 2008-06-08 00:00:41 +0200 (Sun, 08 Jun 2008) | 3 lines Changed paths: M /www.videolan.org/mirror.php mirror.php allows to open every $mirror supplied in $_GET, if $file is set. Attempt to fix it. > http://trac.videolan.org/web/changeset/4577