I guess I might as well continue the pattern...
Don't use $REQUEST. Instead, use $GET (as in this situation) or the corresponding superglobal array according to where you're expecting the data to come from (more info here: [man]variables.predefined[/man]).
In addition, you should check if the index exists first, e.g. don't do:
$file = $_GET['file'];
Rather, you should do:
$file = (isset($_GET['file']) ? $_GET['file'] : '');