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

@@ 599-603 (lines=5) @@
596
					if(in_array($level, $point_group))
597
					{
598
						// Delete all groups except the one which the current level belongs to
599
						foreach($point_group as $group_srl => $target_level)
600
						{
601
							$del_group_list[] = $group_srl;
602
							if($target_level == $level) $new_group_list[] = $group_srl;
603
						}
604
					}
605
					// Otherwise, in case the level is reduced, add the recent group
606
					else
@@ 636-640 (lines=5) @@
633
				else
634
				{
635
					// Check until the current level by rotating setting the configurations of the point groups
636
					foreach($point_group as $group_srl => $target_level)
637
					{
638
						$del_group_list[] = $group_srl;
639
						if($target_level <= $level) $new_group_list[] = $group_srl;
640
					}
641
				}
642
				// If there is no a new group, granted the default group
643
				if(!$new_group_list[0]) $new_group_list[0] = $default_group->group_srl;