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 = 8-8 lines in 3 locations

classes/db/DBCubrid.class.php 1 location

@@ 1069-1076 (lines=8) @@
1066
		}
1067
1068
		// total pages
1069
		if($total_count)
1070
		{
1071
			$total_page = (int) (($total_count - 1) / $list_count) + 1;
1072
		}
1073
		else
1074
		{
1075
			$total_page = 1;
1076
		}
1077
1078
		// check the page variables
1079
		if($page > $total_page)

classes/db/DBMssql.class.php 1 location

@@ 958-965 (lines=8) @@
955
				$page = 1;
956
			}
957
			// Total pages
958
			if($total_count)
959
			{
960
				$total_page = (int) (($total_count - 1) / $list_count) + 1;
961
			}
962
			else
963
			{
964
				$total_page = 1;
965
			}
966
967
			// check the page variables
968
			if($page > $total_page)

classes/db/DBMysql.class.php 1 location

@@ 781-788 (lines=8) @@
778
		}
779
780
		// total pages
781
		if($total_count)
782
		{
783
			$total_page = (int) (($total_count - 1) / $list_count) + 1;
784
		}
785
		else
786
		{
787
			$total_page = 1;
788
		}
789
790
		// check the page variables
791
		if($page > $total_page)