"") $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"); 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; } } } ?>