I'm digging up a code I used to write with a friend of mine. It's been a while and I can't figure out what the purpose was of this snippet:
$page = isset($_REQUEST['page']) ? $_REQUEST['page'] : "home.php";
It's nearly the only code in that php-file.
Thanks a lot.