<?php

error_reporting
(E_ALL E_STRICT);

if(!empty(
$_POST['action']) &&
   
$_POST['action'] === 'jump' &&
   
is_file($_POST['file'])) {

  
$path dirname($_SERVER['SCRIPT_NAME']);
  
header("Location: http://{$_SERVER['HTTP_HOST']}$path/{$_POST['file']}");
  exit();

} else {

  echo <<< EOT
  <form action="" method="post">
    <select name="file">
      <option value="name1.php">name1.php</option>
      <option value="name2.php">name2.php (gibt es nicht!)</option>
    </select>
    <input type="submit" name="action" value="jump" />
  </form>
EOT;

}

highlight(basename(__FILE__,'.php').'.phps');