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

system/core/Common.php 2 locations

@@ 625-628 (lines=4) @@
622
		$_error->log_exception($severity, $message, $filepath, $line);
623
624
		// Should we display the error?
625
		if (str_ireplace(array('off', 'none', 'no', 'false', 'null'), '', ini_get('display_errors')))
626
		{
627
			$_error->show_php_error($severity, $message, $filepath, $line);
628
		}
629
630
		// If the error is fatal, the execution of the script should be stopped because
631
		// errors can't be recovered from. Halting the script conforms with PHP's
@@ 660-663 (lines=4) @@
657
		$_error->log_exception('error', 'Exception: '.$exception->getMessage(), $exception->getFile(), $exception->getLine());
658
659
		// Should we display the error?
660
		if (str_ireplace(array('off', 'none', 'no', 'false', 'null'), '', ini_get('display_errors')))
661
		{
662
			$_error->show_exception($exception);
663
		}
664
665
		exit(1); // EXIT_ERROR
666
	}