<?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');