Completed
Pull Request — master (#2675)
by Christian
10:38
created
html/user/download.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -46,7 +46,7 @@  discard block
 block discarded – undo
46 46
 //
47 47
 function client_info_to_platform($client_info) {
48 48
     if (strstr($client_info, 'Windows')) {
49
-        if (strstr($client_info, 'Win64')||strstr($client_info, 'WOW64')) {
49
+        if (strstr($client_info, 'Win64') || strstr($client_info, 'WOW64')) {
50 50
             return 'windows_x86_64';
51 51
         } else {
52 52
             return 'windows_intelx86';
@@ -121,7 +121,7 @@  discard block
 block discarded – undo
121 121
 
122 122
 function download_button_vbox($v, $project_id, $token, $user) {
123 123
     // if no vbox version exists for platform, don't show vbox button
124
-    if(!$v->vbox_filename) {
124
+    if (!$v->vbox_filename) {
125 125
         return;
126 126
     }
127 127
     return sprintf(
@@ -233,7 +233,7 @@  discard block
 block discarded – undo
233 233
     echo "</table></center>\n";
234 234
     echo "<p><p>";
235 235
     echo tra("When the download is finished, open the downloaded file to install %1.", $dl);
236
-    $welcome_page = defined('WELCOME_PAGE')?WELCOME_PAGE:"welcome.php";
236
+    $welcome_page = defined('WELCOME_PAGE') ?WELCOME_PAGE:"welcome.php";
237 237
     echo "<p><p>";
238 238
     echo tra("All done? %1Click here to finish%2.", "<a href=$welcome_page>", "</a>");
239 239
     page_tail();
Please login to merge, or discard this patch.