";
else:
echo "";
endif;
?>
"; ?>
\n";
if ($_GET['enablefirebuglite']) {
echo "\t\n";
echo "\t\n";
}
echo "\t\n";
echo "\t\n";
echo "\t\n";
echo "\t\n";
if (file_exists("{$g['www_path']}/javascript/global.js")) {
echo "\t\n";
}
/*
* Find all javascript files that need to be included
* for this page ... from the arrays ... :)
* Coded by: Erik Kristensen
*/
$dir = trim(basename($_SERVER["SCRIPT_FILENAME"], '.php'));
$path = "{$g['www_path']}/javascript/" . $dir . "/";
if (is_dir($path)) {
if ($dh = opendir($path)) {
while (($file = readdir($dh)) !== false) {
if (is_dir($file)) {
continue;
}
echo "\t\n";
}
closedir($dh);
}
}
if (!isset($closehead)) {
echo "";
}
/* If this page is being remotely managed then do not allow the loading of the contents. */
if ($config['remote_managed_pages']['item']) {
foreach ($config['remote_managed_pages']['item'] as $rmp) {
if ($rmp == $_SERVER['SCRIPT_NAME']) {
include("fbegin.inc");
print_info_box_np("This page is currently being managed by a remote machine.");
include("fend.inc");
exit;
}
}
}
?>