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.

Code Duplication    Length = 5-5 lines in 2 locations

modules/point/point.controller.php 2 locations

@@ 571-575 (lines=5) @@
568
					if(in_array($level, $point_group))
569
					{
570
						// Delete all groups except the one which the current level belongs to
571
						foreach($point_group as $group_srl => $target_level)
572
						{
573
							$del_group_list[] = $group_srl;
574
							if($target_level == $level) $new_group_list[] = $group_srl;
575
						}
576
					}
577
					// Otherwise, in case the level is reduced, add the recent group
578
					else
@@ 608-612 (lines=5) @@
605
				else
606
				{
607
					// Check until the current level by rotating setting the configurations of the point groups
608
					foreach($point_group as $group_srl => $target_level)
609
					{
610
						$del_group_list[] = $group_srl;
611
						if($target_level <= $level) $new_group_list[] = $group_srl;
612
					}
613
				}
614
				// If there is no a new group, granted the default group
615
				if(!$new_group_list[0]) $new_group_list[0] = $default_group->group_srl;