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

classes/security/htmlpurifier/library/HTMLPurifier/Lexer/PH5P.php 3 locations

@@ 1485-1491 (lines=7) @@
1482
            /* Create an element for the token and append the new element to the
1483
            node pointed to by the head element pointer, or, if that is null
1484
            (innerHTML case), to the current node. */
1485
            if($this->head_pointer !== null) {
1486
                $element = $this->insertElement($token, false);
1487
                $this->head_pointer->appendChild($element);
1488
1489
            } else {
1490
                $element = $this->insertElement($token);
1491
            }
1492
1493
            /* Switch the tokeniser's content model flag  to the RCDATA state. */
1494
            return HTML5::RCDATA;
@@ 1501-1507 (lines=7) @@
1498
            /* Create an element for the token and append the new element to the
1499
            node pointed to by the head element pointer, or, if that is null
1500
            (innerHTML case), to the current node. */
1501
            if($this->head_pointer !== null) {
1502
                $element = $this->insertElement($token, false);
1503
                $this->head_pointer->appendChild($element);
1504
1505
            } else {
1506
                $this->insertElement($token);
1507
            }
1508
1509
            /* Switch the tokeniser's content model flag  to the CDATA state. */
1510
            return HTML5::CDATA;
@@ 1527-1534 (lines=8) @@
1524
            /* Create an element for the token and append the new element to the
1525
            node pointed to by the head element pointer, or, if that is null
1526
            (innerHTML case), to the current node. */
1527
            if($this->head_pointer !== null) {
1528
                $element = $this->insertElement($token, false);
1529
                $this->head_pointer->appendChild($element);
1530
                array_pop($this->stack);
1531
1532
            } else {
1533
                $this->insertElement($token);
1534
            }
1535
1536
        /* An end tag with the tag name "head" */
1537
        } elseif($token['type'] === HTML5::ENDTAG && $token['name'] === 'head') {