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 = 12-12 lines in 2 locations

config/func.inc.php 2 locations

@@ 725-736 (lines=12) @@
722
		{
723
			case 'en' :
724
			case 'es' :
725
				if($format == 'Y-m-d')
726
				{
727
					$format = 'M d, Y';
728
				}
729
				elseif($format == 'Y-m-d H:i:s')
730
				{
731
					$format = 'M d, Y H:i:s';
732
				}
733
				elseif($format == 'Y-m-d H:i')
734
				{
735
					$format = 'M d, Y H:i';
736
				}
737
				break;
738
			case 'vi' :
739
				if($format == 'Y-m-d')
@@ 739-750 (lines=12) @@
736
				}
737
				break;
738
			case 'vi' :
739
				if($format == 'Y-m-d')
740
				{
741
					$format = 'd-m-Y';
742
				}
743
				elseif($format == 'Y-m-d H:i:s')
744
				{
745
					$format = 'H:i:s d-m-Y';
746
				}
747
				elseif($format == 'Y-m-d H:i')
748
				{
749
					$format = 'H:i d-m-Y';
750
				}
751
				break;
752
		}
753
	}