@@ -45,7 +45,7 @@ discard block |
||
45 | 45 | <meta property="og:site_name" content="<?php print $globalName; ?>"/> |
46 | 46 | |
47 | 47 | <?php |
48 | - if (!isset($_SESSION['install']) && !isset($_POST['dbtype'])) { |
|
48 | + if (!isset($_SESSION['install']) && !isset($_POST['dbtype'])) { |
|
49 | 49 | ?> |
50 | 50 | <script language="JavaScript" type="text/javascript"> |
51 | 51 | function datasource_js() { |
@@ -154,22 +154,22 @@ discard block |
||
154 | 154 | } |
155 | 155 | </script> |
156 | 156 | <?php |
157 | - } |
|
157 | + } |
|
158 | 158 | ?> |
159 | 159 | |
160 | 160 | </head> |
161 | 161 | |
162 | 162 | <?php |
163 | - if (!isset($_SESSION['install']) && !isset($_POST['dbtype']) && isset($_SESSION['identified'])) { |
|
163 | + if (!isset($_SESSION['install']) && !isset($_POST['dbtype']) && isset($_SESSION['identified'])) { |
|
164 | 164 | ?> |
165 | 165 | |
166 | 166 | <body class="page-<?php print strtolower($current_page); ?>" onload="datasource_js(); metarcycle_js(); create_database_js(); daemon_js(); schedule_js()"> |
167 | 167 | <?php |
168 | - } else { |
|
168 | + } else { |
|
169 | 169 | ?> |
170 | 170 | <body class="page-<?php print strtolower($current_page); ?>"> |
171 | 171 | <?php |
172 | - } |
|
172 | + } |
|
173 | 173 | ?> |
174 | 174 | <div class="navbar navbar-fixed-top" role="navigation"> |
175 | 175 | <div class="container"> |
@@ -183,7 +183,7 @@ discard block |
||
183 | 183 | <a class="navbar-brand" href="../"><img src="<?php print '../'.$logoURL; ?>" height="30px" /></a> |
184 | 184 | </div> |
185 | 185 | <?php |
186 | - if (!isset($_SESSION['install']) && !isset($_POST['dbtype']) && isset($_SESSION['identified'])) { |
|
186 | + if (!isset($_SESSION['install']) && !isset($_POST['dbtype']) && isset($_SESSION['identified'])) { |
|
187 | 187 | ?> |
188 | 188 | <div class="collapse navbar-collapse"> |
189 | 189 | <ul class="nav navbar-nav"> |
@@ -213,19 +213,19 @@ discard block |
||
213 | 213 | </ul> |
214 | 214 | </div> |
215 | 215 | <?php |
216 | - } |
|
216 | + } |
|
217 | 217 | ?> |
218 | 218 | </div> |
219 | 219 | </div> |
220 | 220 | |
221 | 221 | <?php |
222 | 222 | if (isset($top_header)) { |
223 | - if ($top_header != "") |
|
224 | - { |
|
223 | + if ($top_header != "") |
|
224 | + { |
|
225 | 225 | print '<div class="top-header container clear" role="main">'; |
226 | 226 | print '<img src="../images/'.$top_header.'" alt="'.$title.'" title="'.$title.'" />'; |
227 | 227 | print '</div>'; |
228 | - } |
|
228 | + } |
|
229 | 229 | } |
230 | 230 | ?> |
231 | 231 |