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

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

@@ 1293-1298 (lines=6) @@
1290
        /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1291
        U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1292
        or U+0020 SPACE */
1293
        } elseif(isset($token['data']) && preg_match('/^[\t\n\x0b\x0c ]+$/',
1294
        $token['data'])) {
1295
            /* Append that character  to the Document node. */
1296
            $text = $this->dom->createTextNode($token['data']);
1297
            $this->dom->appendChild($text);
1298
        }
1299
    }
1300
1301
    private function rootElementPhase($token) {
@@ 1319-1331 (lines=13) @@
1316
        /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1317
        U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1318
        or U+0020 SPACE */
1319
        } elseif($token['type'] === HTML5::CHARACTR &&
1320
        preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
1321
            /* Append that character  to the Document node. */
1322
            $text = $this->dom->createTextNode($token['data']);
1323
            $this->dom->appendChild($text);
1324
1325
        /* A character token that is not one of U+0009 CHARACTER TABULATION,
1326
            U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED
1327
            (FF), or U+0020 SPACE
1328
        A start tag token
1329
        An end tag token
1330
        An end-of-file token */
1331
        } elseif(($token['type'] === HTML5::CHARACTR &&
1332
        !preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) ||
1333
        $token['type'] === HTML5::STARTTAG ||
1334
        $token['type'] === HTML5::ENDTAG ||