Fix Pint formatting

2026-06-09 01:25:14 -04:00
parent 6be4875c5e
commit 20a0b6c4e5
1485 changed files with 11318 additions and 10273 deletions
@@ -45,6 +45,7 @@ class BalancedSectionPlacementService
                    return $scoreB <=> $scoreA;
                }
                $name = strcmp((string) ($a['student_name'] ?? ''), (string) ($b['student_name'] ?? ''));
+
                return $name !== 0 ? $name : ((int) $a['student_id'] <=> (int) $b['student_id']);
            });
        }
@@ -79,6 +80,7 @@ class BalancedSectionPlacementService
        for ($i = 1; $i <= $sectionCount; $i++) {
            $sizes[$i] = $base + ($i <= $remainder ? 1 : 0);
        }
+
        return $sizes;
    }

@@ -98,6 +100,7 @@ class BalancedSectionPlacementService
            if ($cmp !== 0) {
                return $cmp;
            }
+
            return $a['section_index'] <=> $b['section_index'];
        });