Completed
Push — master ( 93bb8d...876278 )
by Kevin
10:45
created
html/user/download.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -43,7 +43,7 @@  discard block
 block discarded – undo
43 43
 //
44 44
 function client_info_to_platform($client_info) {
45 45
     if (strstr($client_info, 'Windows')) {
46
-        if (strstr($client_info, 'Win64')||strstr($client_info, 'WOW64')) {
46
+        if (strstr($client_info, 'Win64') || strstr($client_info, 'WOW64')) {
47 47
             return 'windows_x86_64';
48 48
         } else {
49 49
             return 'windows_intelx86';
@@ -77,7 +77,7 @@  discard block
 block discarded – undo
77 77
     $v = simplexml_load_file("versions.xml");
78 78
     $client_info = $_SERVER['HTTP_USER_AGENT'];
79 79
     $p = client_info_to_platform($client_info);
80
-    $string = $dev?"Development":"Recommended";
80
+    $string = $dev ? "Development" : "Recommended";
81 81
     foreach ($v->version as $i=>$v) {
82 82
         if ((string)$v->dbplatform != $p) {
83 83
             continue;
@@ -115,7 +115,7 @@  discard block
 block discarded – undo
115 115
 
116 116
 function download_button_vbox($v, $project_id, $token, $user) {
117 117
     // if no vbox version exists for platform, don't show vbox button
118
-    if(!$v->vbox_filename) {
118
+    if (!$v->vbox_filename) {
119 119
         return;
120 120
     }
121 121
     return sprintf(
Please login to merge, or discard this patch.