Completed
Push — master ( 405a4f...3ae233 )
by Yannick
71:17 queued 38:27
created
install/header.php 1 patch
Indentation   +8 added lines, -8 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'])) {
48
+	if (!isset($_SESSION['install'])) {
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']) && !$globalInstalled) {
163
+	if (!isset($_SESSION['install']) && !$globalInstalled) {
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">
@@ -220,12 +220,12 @@  discard block
 block discarded – undo
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.