2002-10-29 14:48:58 +00:00
|
|
|
<?PHP // $Id$
|
|
|
|
|
|
|
|
|
|
require("../config.php");
|
|
|
|
|
|
2003-01-06 08:23:36 +00:00
|
|
|
optional_variable($file, ""); // docs file to view
|
2003-01-01 15:13:56 +00:00
|
|
|
optional_variable($frame, ""); // docs file to view
|
2003-01-06 08:23:36 +00:00
|
|
|
optional_variable($sub, ""); // sub-section (named anchor)
|
|
|
|
|
optional_variable($lang, ""); // override current language
|
2002-12-29 16:28:41 +00:00
|
|
|
|
|
|
|
|
if (!empty($lang)) {
|
2003-01-19 12:32:55 +00:00
|
|
|
$SESSION->lang = $lang;
|
2002-12-29 16:28:41 +00:00
|
|
|
}
|
2002-10-29 14:48:58 +00:00
|
|
|
|
2003-01-06 08:23:36 +00:00
|
|
|
if (!empty($sub)) {
|
|
|
|
|
$sub = "#$sub";
|
2003-01-06 08:47:57 +00:00
|
|
|
} else {
|
|
|
|
|
$sub = "";
|
2003-01-06 08:23:36 +00:00
|
|
|
}
|
|
|
|
|
|
2002-12-29 14:39:52 +00:00
|
|
|
if (empty($file)) {
|
|
|
|
|
$include = false;
|
2003-01-01 15:13:56 +00:00
|
|
|
if (empty($frame)) {
|
|
|
|
|
$file = "intro.html";
|
|
|
|
|
} else {
|
|
|
|
|
$file = $frame;
|
|
|
|
|
}
|
2002-12-29 14:39:52 +00:00
|
|
|
} else {
|
|
|
|
|
$include = true;
|
|
|
|
|
}
|
|
|
|
|
|
2003-06-12 11:55:03 +00:00
|
|
|
if (! document_file($file, $include)) {
|
|
|
|
|
error("Error 404 - File Not Found");
|
|
|
|
|
}
|
2002-10-29 14:48:58 +00:00
|
|
|
|
2002-12-29 14:39:52 +00:00
|
|
|
if ($include) {
|
|
|
|
|
exit;
|
2002-10-29 14:48:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
?>
|
|
|
|
|
|
2003-06-12 11:55:03 +00:00
|
|
|
<head>
|
|
|
|
|
<title><?php print_string("documentation")?></title>
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<frameset rows="70,*">
|
|
|
|
|
<frame name="top" src="top.php">
|
|
|
|
|
<frameset cols="200,*">
|
|
|
|
|
<frame name="contents" src="contents.php">
|
|
|
|
|
<frame name="main" src="index.php?file=<?php echo "$file$sub"; ?>">
|
|
|
|
|
</frameset>
|
|
|
|
|
</frameset>
|
