@@ -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 | |