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

modules/menu/menu.admin.controller.php 2 locations

@@ 1942-1943 (lines=2) @@
1939
			}
1940
1941
			// If the value of node->group_srls exists
1942
			if($group_srls) {
1943
				$group_check_code = sprintf('($is_admin==true||(is_array($group_srls)&&count(array_intersect($group_srls, array(%s))))||($is_logged&&%s))',$group_srls,$group_srls == -1?1:0);
1944
			}
1945
			else
1946
			{
@@ 2022-2023 (lines=2) @@
2019
			if($node->url) $child_output['url_list'][] = $node->url;
2020
			$output['url_list'] = array_merge($output['url_list'], $child_output['url_list']);
2021
			// If node->group_srls value exists
2022
			if($node->group_srls)$group_check_code = sprintf('($is_admin==true||(is_array($group_srls)&&count(array_intersect($group_srls, array(%s))))||($is_logged && %s))',$node->group_srls,$node->group_srls == -1?1:0);
2023
			else $group_check_code = "true";
2024
2025
			// List variables
2026
			$href = str_replace(array('&','"','<','>'),array('&amp;','&quot;','&lt;','&gt;'),$node->href);