array (
"Home",
"Home",
"",
array ()
),
"system" => array (
"System",
"System Information & Operating System / Firmware Load",
"",
array ()
),
"peekpoke" => array (
"Peek & Poke",
"Peek & Poke Addresses",
"",
array ()
),
"zedboard" => array (
"Zedboard",
"Interactive Zedboard",
"",
array ()
),
"misc" => array (
"Misc",
"Miscellaneous",
"",
array (
"test-cgi" => array("CGI Basic Test"),
"hello_world.php" => array("PHP Basic Test"),
"sqlite_test.php" => array ("SQLite Basic Test"),
"phpliteadmin.php" => array("PHP Lite Admin"),
),
)
);
// Get subdirectory webpage is being served from
$base = basename(dirname($_SERVER['PHP_SELF']));
?>
';
}
// Add local CSS if one exists
if (file_exists("style.css")) {
echo '';
}
?>
<?php echo $pages[$base][c_title] ?>