"" && (is_dir($g["www_path"].'/themes/'.$config['theme'])))
$g['theme'] = $config['theme'];
else
$g['theme'] = "pfsense";
/*
* If this device is an apple ipod/iphone
* switch the theme to one that works with it.
*/
$lowres_ua = array("iPhone", "iPod", "iPad", "Android", "BlackBerry", "Opera Mini", "Opera Mobi");
foreach($lowres_ua as $useragent)
if(strstr($_SERVER['HTTP_USER_AGENT'], $useragent))
$g['theme'] = empty($g['theme_lowres']) ? "pfsense" : $g['theme_lowres'];
$pagetitle = gentitle( $pgtitle );
?>
<?php echo($config['system']['hostname'] . "." . $config['system']['domain'] . " - " . $pagetitle); ?>
"; ?>
\n"; ?>
\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;
}
}
}
?>