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

vendor/ezyang/htmlpurifier/library/HTMLPurifier/Config.php 3 locations

@@ 181-188 (lines=8) @@
178
        if (!$this->finalized) {
179
            $this->autoFinalize();
180
        }
181
        if (!isset($this->def->info[$key])) {
182
            // can't add % due to SimpleTest bug
183
            $this->triggerError(
184
                'Cannot retrieve value of undefined directive ' . htmlspecialchars($key),
185
                E_USER_WARNING
186
            );
187
            return;
188
        }
189
        if (isset($this->def->info[$key]->isAlias)) {
190
            $d = $this->def->info[$key];
191
            $this->triggerError(
@@ 226-233 (lines=8) @@
223
            $this->autoFinalize();
224
        }
225
        $full = $this->getAll();
226
        if (!isset($full[$namespace])) {
227
            $this->triggerError(
228
                'Cannot retrieve undefined namespace ' .
229
                htmlspecialchars($namespace),
230
                E_USER_WARNING
231
            );
232
            return;
233
        }
234
        return $full[$namespace];
235
    }
236
@@ 310-316 (lines=7) @@
307
        if ($this->isFinalized('Cannot set directive after finalization')) {
308
            return;
309
        }
310
        if (!isset($this->def->info[$key])) {
311
            $this->triggerError(
312
                'Cannot set undefined directive ' . htmlspecialchars($key) . ' to value',
313
                E_USER_WARNING
314
            );
315
            return;
316
        }
317
        $def = $this->def->info[$key];
318
319
        if (isset($def->isAlias)) {