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

@@ 398-402 (lines=5) @@
395
            if (in_array($name, $this->enabledExtensions)) {
396
397
                // Make sure dependencies are met
398
                if (!$this->checkEnabledExtensions($depends)) {
399
                    throw new InvalidConfigException(
400
                        "Extension {$name} requires " . implode(', ', $depends) . " extensions to be enabled."
401
                    );
402
                }
403
404
                // Register extension
405
                $options = Json::encode($options);
@@ 432-436 (lines=5) @@
429
            if (!empty($this->$eventName)) {
430
431
                // Make sure dependencies are met
432
                if (!$this->checkEnabledExtensions($depends)) {
433
                    throw new InvalidConfigException(
434
                        "The \"{$name}\" event requires " . implode(', ', $depends) . " extensions to be enabled."
435
                    );
436
                }
437
438
                // Register event
439
                $this->view->registerJs(