@@ -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") { |