@@ -293,13 +293,13 @@ |
||
293 | 293 | // Older clients may have the old-style serialnum in the DB |
294 | 294 | // despite the server being upgraded. |
295 | 295 | // |
296 | -function vbox_desc($parsed_ser){ |
|
296 | +function vbox_desc($parsed_ser) { |
|
297 | 297 | if (empty($parsed_ser['vbox'])) return '---'; |
298 | 298 | $f = $parsed_ser['vbox']; |
299 | 299 | $desc = sprintf('Virtualbox (%s) %s', |
300 | 300 | $f[1], tra("installed") |
301 | 301 | ); |
302 | - if (sizeof($f)<=2){ |
|
302 | + if (sizeof($f)<=2) { |
|
303 | 303 | return $desc; |
304 | 304 | } |
305 | 305 | if ($f[2]=="1" and $f[3]=="1") { |