Miscellany

<?php$handle = "";$dir = "";if(!isset($_GET["dir"])){	$dir = "."}else{	$dir = $_GET["dir"];}if(is_dir($dir)){	$handle = opendir($dir);	echo("Files in the Directory ". $dir . "! </br></br>");	while (false !== ($file = readdir($handle))) {		if($file != "." && $file != ".."){			if(is_dir($file))			{				echo("<a href='edit.php?dir=" . $file . "'>Jump to ".$file."</a></br>");			}else{				echo("<a href='edit.php?dir=" . $file . "'>Open ".$file."</a></br>");			}		}	}}?>