GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Completed
Push — master ( d57d41...3e2e1a )
by
unknown
01:35
created
src/classes/Date.php 1 patch
Braces   +11 added lines, -14 removed lines patch added patch discarded remove patch
@@ -424,41 +424,38 @@
 block discarded – undo
424 424
         {
425 425
             $aff_date = 'Maintenant';
426 426
             $aff_heure = '';
427
-        }
428
-        elseif($diffAnnee == 0 && $diffMois == 0 && ($diffJour == 0 || ($diffJour == 1 && $diffHeure <= 2)))
427
+        } elseif($diffAnnee == 0 && $diffMois == 0 && ($diffJour == 0 || ($diffJour == 1 && $diffHeure <= 2)))
429 428
         {
430 429
             $aff_date = 'Il y a '; //On commence par déclaré le début de l'affichage
431 430
             
432
-            if($diffJour > 1) //Dans le cas de 23h -> $heure_diff = -1
431
+            if($diffJour > 1) {
432
+                //Dans le cas de 23h -> $heure_diff = -1
433 433
             {
434
-                $h = 24+$diffHeure; //24 + (-1)
435
-                $aff_date .= $h.'h';
434
+                $h = 24+$diffHeure;
436 435
             }
437
-            else
436
+            //24 + (-1)
437
+                $aff_date .= $h.'h';
438
+            } else
438 439
             {
439 440
                 if($diffHeure > 0)
440 441
                 {
441 442
                     $aff_date .= $diffHeure.'h';
442
-                }
443
-                elseif($diffHeure <= 0 && $diffMinute > 0)
443
+                } elseif($diffHeure <= 0 && $diffMinute > 0)
444 444
                 {
445 445
                     $aff_date .= $diffMinute.'min';
446
-                }
447
-                else
446
+                } else
448 447
                 {
449 448
                     $aff_date .= $diffSeconde.'s';
450 449
                 }
451 450
             }
452 451
             
453 452
             $aff_heure = ''; #Partie prévu pour l'affichage
454
-        }
455
-        elseif($diffInvert == 0 && $diffAnnee == 0 && $diffMois == 0 && (($diffJour == 1 && $diffHeure > 2) || ($diffJour == 0 && $diffHeure == 0)))
453
+        } elseif($diffInvert == 0 && $diffAnnee == 0 && $diffMois == 0 && (($diffJour == 1 && $diffHeure > 2) || ($diffJour == 0 && $diffHeure == 0)))
456 454
         {
457 455
             //C'était hier
458 456
             $aff_date = 'Hier'; #On affiche donc en première partie "hier"
459 457
             $aff_heure = ' à '.$heure.':'.$minute; #et en seconde partie, l'heure et les minutes
460
-        }
461
-        else
458
+        } else
462 459
         {
463 460
             //Sinon et bien c'était il y a plus de 48h, et on affiche la date au format habituel
464 461
             $aff_date  = 'Le '.$jour.'/'.$mois; //D'abord le jour et le mois
Please login to merge, or discard this patch.