Hello
Perso je préfère corriger directement sur le site php de github qu'avec un outil local sur mon poste (ce n'est pas faute d'avoir essayé mais rien ne me semble simple...)
Bon je corrige rarement plusieurs dizaines de fichiers à la fois, c'est plutot des frappes chirurgicales, à chacun son domaine....
Perso je préfère corriger directement sur le site php de github qu'avec un outil local sur mon poste (ce n'est pas faute d'avoir essayé mais rien ne me semble simple...)
Bon je corrige rarement plusieurs dizaines de fichiers à la fois, c'est plutot des frappes chirurgicales, à chacun son domaine....