Completed
Push — master ( d07d87...33ebc4 )
by Yannick
33:29 queued 11s
created
install/header.php 1 patch
Indentation   +10 added lines, -10 removed lines patch added patch discarded remove patch
@@ -45,7 +45,7 @@  discard block
 block discarded – undo
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
 block discarded – undo
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
 block discarded – undo
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
 block discarded – undo
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
 
Please login to merge, or discard this patch.