Index

\n"; if (is_dir($file)) print "\n"; if (is_file($file)) { $ext = end(explode('.', $file)); if ($ext == "jpg") print "\n"; else if ($ext == "png") print "\n"; else if ($ext == "pdf") print "\n"; else if ($ext == "odt") print "\n"; else { print "\n"; } } print "\n"; print "\n"; print "\n"; print "\n"; } ?>

	Parent Directory
						$file	" . date("d-m-Y H:i", filemtime($file)) . "	" . filesize($file) . "

Apache/2.2.3 (Red Hat) Server at users.jyu.fi Port 80