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

@@ 566-570 (lines=5) @@
563
					if(in_array($level, $point_group))
564
					{
565
						// Delete all groups except the one which the current level belongs to
566
						foreach($point_group as $group_srl => $target_level)
567
						{
568
							$del_group_list[] = $group_srl;
569
							if($target_level == $level) $new_group_list[] = $group_srl;
570
						}
571
					}
572
					// Otherwise, in case the level is reduced, add the recent group
573
					else
@@ 603-607 (lines=5) @@
600
				else
601
				{
602
					// Check until the current level by rotating setting the configurations of the point groups
603
					foreach($point_group as $group_srl => $target_level)
604
					{
605
						$del_group_list[] = $group_srl;
606
						if($target_level <= $level) $new_group_list[] = $group_srl;
607
					}
608
				}
609
				// If there is no a new group, granted the default group
610
				if(!$new_group_list[0]) $new_group_list[0] = $default_group->group_srl;