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

ScrollPager.php 2 locations

@@ 386-390 (lines=5) @@
383
            if (in_array($name, $this->enabledExtensions)) {
384
385
                // Make sure dependencies are met
386
                if (!$this->checkEnabledExtensions($depends)) {
387
                    throw new InvalidConfigException(
388
                        "Extension {$name} requires " . implode(', ', $depends) . " extensions to be enabled."
389
                    );
390
                }
391
392
                // Register extension
393
                $options = Json::encode($options);
@@ 420-424 (lines=5) @@
417
            if (!empty($this->$eventName)) {
418
419
                // Make sure dependencies are met
420
                if (!$this->checkEnabledExtensions($depends)) {
421
                    throw new InvalidConfigException(
422
                        "The \"{$name}\" event requires " . implode(', ', $depends) . " extensions to be enabled."
423
                    );
424
                }
425
426
                // Register event
427
                $this->view->registerJs(