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

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