2004-07-06 20:39:18 +00:00
|
|
|
<?php
|
2004-07-12 17:22:55 +00:00
|
|
|
include('menu.php');
|
2004-07-06 20:39:18 +00:00
|
|
|
|
2004-07-23 05:03:34 +00:00
|
|
|
define('MENU_FILE','menu.ini');
|
|
|
|
define('PAGE_DIR','pages/');
|
|
|
|
define('PAGE_EXT','.html');
|
2004-07-06 20:39:18 +00:00
|
|
|
|
|
|
|
/* Filter out everything except alphanumerical characters and underscores */
|
2004-08-03 17:18:44 +00:00
|
|
|
function form_dirty($data) {
|
|
|
|
return preg_match('/[^[:alnum:]_]/',$data);
|
2004-07-06 20:39:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
$page = '';
|
|
|
|
if(isset($_REQUEST['page'])) {
|
2004-08-03 17:18:44 +00:00
|
|
|
$page = urldecode($_REQUEST['page']);
|
2004-07-06 20:39:18 +00:00
|
|
|
} else {
|
|
|
|
$page = 'home';
|
|
|
|
}
|
2004-07-12 17:22:55 +00:00
|
|
|
|
2004-08-03 17:18:44 +00:00
|
|
|
if(!form_dirty($page) and is_readable(PAGE_DIR.$page.PAGE_EXT)) {
|
|
|
|
$site_structure = parse_ini_file(MENU_FILE, true);
|
|
|
|
$pagetitle = getpagetitle($page);
|
2004-07-06 20:39:18 +00:00
|
|
|
include(PAGE_DIR.'header'.PAGE_EXT);
|
|
|
|
include(PAGE_DIR.$page.PAGE_EXT);
|
|
|
|
include(PAGE_DIR.'footer'.PAGE_EXT);
|
|
|
|
} else {
|
2004-07-23 05:05:26 +00:00
|
|
|
header("HTTP/1.0 404 Not Found");
|
2004-08-03 17:18:44 +00:00
|
|
|
print "<h1>Error: Page not found</h1>\n";
|
|
|
|
print "<a href=\"javascript:history.back(1)\">Go back</a>";
|
2004-07-06 20:39:18 +00:00
|
|
|
}
|
2004-07-09 15:48:12 +00:00
|
|
|
|
2004-07-06 20:39:18 +00:00
|
|
|
?>
|