Select a file

'; } else { $file = $_GET['file']; ?>