You should use a SWITCH for this for several reasons. Not only is it much faster than loads of IFs, it is more legible, more easily modified and extended and all together more flexible.
At the moment you are just using it to determine the php include, but down the track you may want to also set CSS or JS files for particular includes: eg
<?php
// blah blah
$inc = '';
$css = '';
$js = '';
$page = $_REQUEST['page'];
switch $page {
case "aircraft":
$inc = "Admin_list_aircraft.php";
$css = "aircraft.css";
break;
case "members":
$inc = "Admin_list_members.php";
$js = "members.js";
break;
// etc
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
blah blah
<?php
if ($css != '') {
echo '<link rel="stylesheet" type="text/css" href="' . $css . ' " />';
}
if ($js !='') {
echo '<script src="' . $js . '"></script>';
}
?>
blah blah
</head>
<body>
<?php
include ($inc);
?>
As you can see, the switch option allows for great felxibility when working with a page generator like this.
If you want to go with Installer's option then why not go all the way and just use the whole file name in the first place. You could also use that method for css and js includes, but it is not as generalised or flexible because all pages are tightly coupled to the file naming used.