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

@@ 381-385 (lines=5) @@
378
            if (in_array($name, $this->enabledExtensions)) {
379
380
                // Make sure dependencies are met
381
                if (!$this->checkEnabledExtensions($depends)) {
382
                    throw new InvalidConfigException(
383
                        "Extension {$name} requires " . implode(', ', $depends) . " extensions to be enabled."
384
                    );
385
                }
386
387
                // Register extension
388
                $options = Json::encode($options);
@@ 415-419 (lines=5) @@
412
            if (!empty($this->$eventName)) {
413
414
                // Make sure dependencies are met
415
                if (!$this->checkEnabledExtensions($depends)) {
416
                    throw new InvalidConfigException(
417
                        "The \"{$name}\" event requires " . implode(', ', $depends) . " extensions to be enabled."
418
                    );
419
                }
420
421
                // Register event
422
                $this->view->registerJs(