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

@@ 374-378 (lines=5) @@
371
            if (in_array($name, $this->enabledExtensions)) {
372
373
                // Make sure dependencies are met
374
                if (!$this->checkEnabledExtensions($depends)) {
375
                    throw new InvalidConfigException(
376
                        "Extension {$name} requires " . implode(', ', $depends) . " extensions to be enabled."
377
                    );
378
                }
379
380
                // Register extension
381
                $options = Json::encode($options);
@@ 408-412 (lines=5) @@
405
            if (!empty($this->$eventName)) {
406
407
                // Make sure dependencies are met
408
                if (!$this->checkEnabledExtensions($depends)) {
409
                    throw new InvalidConfigException(
410
                        "The \"{$name}\" event requires " . implode(', ', $depends) . " extensions to be enabled."
411
                    );
412
                }
413
414
                // Register event
415
                $this->view->registerJs(