Passed
Pull Request — master (#6672)
by David
14:36 queued 05:28
created
html/user/gpu_list.php 1 patch
Spacing   +5 added lines, -5 removed lines patch added patch discarded remove patch
@@ -94,7 +94,7 @@  discard block
 block discarded – undo
94 94
     }
95 95
 
96 96
     $av_ids = [];
97
-    foreach($avs as $av) {
97
+    foreach ($avs as $av) {
98 98
         $av_ids[] = $av->id;
99 99
     }
100 100
     if ($vendor == "nvidia") {
@@ -192,14 +192,14 @@  discard block
 block discarded – undo
192 192
         echo tra("No GPU tasks reported");
193 193
         return;
194 194
     }
195
-    $have_win = count($x->win)>0;
196
-    $have_mac = count($x->mac)>0;
197
-    $have_linux = count($x->linux)>0;
195
+    $have_win = count($x->win) > 0;
196
+    $have_mac = count($x->mac) > 0;
197
+    $have_linux = count($x->linux) > 0;
198 198
     $n = 0;
199 199
     if ($have_win) $n++;
200 200
     if ($have_mac) $n++;
201 201
     if ($have_linux) $n++;
202
-    $show_total = $n>1;
202
+    $show_total = $n > 1;
203 203
     start_table();
204 204
     echo "<tr>";
205 205
     if ($show_total) {
Please login to merge, or discard this patch.