php isset problem

[freak4fun]

Code:

<?php
  if(!isset($_GET["page"])){
    # Fehler, kein Wert übergeben.
  } else {
    switch($_GET["page"]){
      case 'portal': include ('portal/index.php'); break;
      case '...'   : include ('.../index.php'); break;
      else: require_once('./global.php');
            RequestHandler::handle(ArrayUtil::appendSuffix($packageDirs, 'lib/'));
    }
  }
?>

Ungetestet.