Passed
Push — dpa_web18 ( e896ee )
by David
09:48
created
html/inc/host.inc 1 patch
Braces   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -293,13 +293,13 @@
 block discarded – undo
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") {
Please login to merge, or discard this patch.