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

contrib/ipImap/function.php 4 locations

@@ 446-455 (lines=10) @@
443
	        if ($host and ($uid!='NA') and ($uid!='unauthenticated') and ($uid!='unknown')) { /* IP is received by MX servers  and learned by valid uid */
444
			$ipuid['count']++;					//number of right messages
445
446
	                if (in_array($uid,array_keys($ipuid['uid']))) {
447
				$ipuid['uid']["$uid"]['count']++;		//number of learn by this uid
448
				if (!in_array($ip,$ipuid['uid']["$uid"])) 
449
					$ipuid['uid']["$uid"][]=$ip;		//ips learned by this uid
450
			}
451
			else {
452
				$ipuid['uid']["$uid"]['count'] = 1;
453
				$ipuid['uid']["$uid"][]=$ip;
454
				$ipuid['uid']['count']++;                	//number of unique uids
455
			}
456
457
                        if (in_array($ip,array_keys($ipuid['ip']))) {
458
                                $ipuid['ip']["$ip"]['count']++;			//number of time this ip appears in different messages
@@ 457-466 (lines=10) @@
454
				$ipuid['uid']['count']++;                	//number of unique uids
455
			}
456
457
                        if (in_array($ip,array_keys($ipuid['ip']))) {
458
                                $ipuid['ip']["$ip"]['count']++;			//number of time this ip appears in different messages
459
				if (!in_array($uid,$ipuid['ip']["$ip"]))
460
					$ipuid['ip']["$ip"][]=$uid;		//uids that learned this ip
461
			}
462
                        else {
463
                                $ipuid['ip']["$ip"]['count'] = 1;
464
				$ipuid['ip']["$ip"][]=$uid;
465
				$ipuid['ip']['count']++;			//number of unique ips
466
                        }
467
468
			foreach ($domains as $dom) {
469
				$domuid['count']++;
@@ 470-479 (lines=10) @@
467
468
			foreach ($domains as $dom) {
469
				$domuid['count']++;
470
				if (in_array($uid,array_keys($domuid['uid']))) {
471
					$domuid['uid']["$uid"]['count']++;               //number of learn by this uid
472
					if (!in_array($dom,$domuid['uid']["$uid"]))
473
						$domuid['uid']["$uid"][]=$dom;		//domains learned by this uid
474
				}
475
				else {
476
					$domuid['uid']["$uid"]['count'] = 1;
477
					$domuid['uid']["$uid"][]=$dom;
478
					$domuid['uid']['count']++;			//number of unique uids
479
				}
480
481
				if (in_array($dom,array_keys($domuid['dom']))) {
482
					$domuid['dom']["$dom"]['count']++;	//number of learn with this domain
@@ 481-490 (lines=10) @@
478
					$domuid['uid']['count']++;			//number of unique uids
479
				}
480
481
				if (in_array($dom,array_keys($domuid['dom']))) {
482
					$domuid['dom']["$dom"]['count']++;	//number of learn with this domain
483
					if (!in_array($uid,$domuid['dom']["$dom"]))
484
						$domuid['dom']["$dom"][]=$uid;	//uids that learned this domain
485
				}
486
				else {
487
					$domuid['dom']["$dom"]['count'] = 1;
488
					$domuid['dom']["$dom"][]=$uid;
489
					$domuid['dom']['count']++;		//number of unique domains
490
				}
491
492
				fwrite($fpd,
493
					updateReport (