blob: 3246e486e95b1802b402aa70dfc1773f54c24d84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
<?php
/*
* if user has selected a custom template, use it.
* otherwise default to pfsense tempalte
*/
if($config['theme'] <> "")
$g['theme'] = $config['theme'];
else
$g['theme'] = "pfsense";
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
<title><?=gentitle($pgtitle);?></title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<link rel="stylesheet" href="/themes/<?php echo $g['theme']; ?>/all.css" media="all" />
<link rel="stylesheet" type="text/css" href="/niftycssprintCode.css" media="print">
<script type="text/javascript" src="/themes/<?php echo $g['theme']; ?>/loader.js"></script>
<?
/*
* Find all javascript files that need to be included
* for this page ... from the arrays ... :)
* Coded by: Erik Kristensen
*/
## Make Sure $page_filename has been set ##
## if it hasn't been don't bother ... :P ##
if ($page_filename) {
include('includes/javascript.inc.php');
foreach ($top_javascript_files["$page_filename"] as $file) {
echo '<script type="text/javascript" src="/javascript/'.$file.'"></script>';
}
}
?>
<?php if (!isset($closehead)){ ?>
</head>
<?php } ?>
|
