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

vendor/michelf/php-markdown/Michelf/MarkdownExtra.php 2 locations

@@ 498-499 (lines=2) @@
495
				#
496
				# Increase/decrease nested tag count.
497
				#
498
				if ($tag{1} == '/')						$depth--;
499
				else if ($tag{strlen($tag)-2} != '/')	$depth++;
500
501
				if ($depth < 0) {
502
					#
@@ 626-627 (lines=2) @@
623
				# the tag's name match base tag's.
624
				#
625
				if (preg_match('{^</?'.$base_tag_name_re.'\b}', $tag)) {
626
					if ($tag{1} == '/')						$depth--;
627
					else if ($tag{strlen($tag)-2} != '/')	$depth++;
628
				}
629
				
630
				#