Passed
Push — main ( dd4eea...91afa7 )
by Dimitri
03:22
created
src/Publisher/Publisher.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -127,7 +127,7 @@  discard block
 block discarded – undo
127 127
             // Essayez plusieurs fois en cas de mèches persistantes
128 128
             $attempts = 10;
129 129
 
130
-            while ((bool) $attempts && ! delete_files($directory, true, false, true)) {
130
+            while ((bool) $attempts && !delete_files($directory, true, false, true)) {
131 131
                 // @codeCoverageIgnoreStart
132 132
                 $attempts--;
133 133
                 usleep(100000); // .1s
@@ -467,7 +467,7 @@  discard block
 block discarded – undo
467 467
         // Rechercher un fichier existant
468 468
         if (file_exists($to)) {
469 469
             // S'il n'est pas remplacé ou si les fichiers sont identiques, envisagez de réussir
470
-            if (! $replace || same_file($from, $to)) {
470
+            if (!$replace || same_file($from, $to)) {
471 471
                 return;
472 472
             }
473 473
 
@@ -481,7 +481,7 @@  discard block
 block discarded – undo
481 481
         }
482 482
 
483 483
         // Assurez-vous que le répertoire existe
484
-        if (! is_dir($directory = pathinfo($to, PATHINFO_DIRNAME))) {
484
+        if (!is_dir($directory = pathinfo($to, PATHINFO_DIRNAME))) {
485 485
             mkdir($directory, 0775, true);
486 486
         }
487 487
 
Please login to merge, or discard this patch.