"" &&
strstr($REQUEST_URI, "/admin/") <> "") {
$title = "Non-mirrored page";
include("$topdir/includes/nav_header.php3");
print("Sorry, this page is not mirrored.\n\n");
include("$topdir/includes/nav_footer.php3");
exit();
}
$classdir = "$faqtop/classes";
$authdir = "$maintdir/auth";
$editdir = "$maintdir/edit";
$catdir = "$maintdir/category";
$questdir = "$maintdir/question";
$verdir = "$maintdir/version";
// Standardized header
function do_header($title) {
global $lamtop;
?>
LAM FAQ maintenance: $title\n"); ?>
\n"); ?>
LAM FAQ Maintenance
$title\n"); ?>
Return to main menu ]\n"); ?>