Completed
Push — master ( 799c0e...e0f3ed )
by Julius
02:04
created
util.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -52,7 +52,7 @@
 block discarded – undo
52 52
 		foreach ($nav as $app) {
53 53
 			$nav_tmp[$app['href']] = $app;
54 54
 		}
55
-		if(is_array($order)) {
55
+		if (is_array($order)) {
56 56
 			foreach ($order as $app) {
57 57
 				if (array_key_exists($app, $nav_tmp)) {
58 58
 					$result[$app] = $nav_tmp[$app];
Please login to merge, or discard this patch.