@@ -46,7 +46,7 @@ discard block |
||
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 |
||
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 |
||
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(); |