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

@@ 407-411 (lines=5) @@
404
            if (in_array($name, $this->enabledExtensions)) {
405
406
                // Make sure dependencies are met
407
                if (!$this->checkEnabledExtensions($depends)) {
408
                    throw new InvalidConfigException(
409
                        "Extension {$name} requires " . implode(', ', $depends) . " extensions to be enabled."
410
                    );
411
                }
412
413
                // Register extension
414
                $options = Json::encode($options);
@@ 441-445 (lines=5) @@
438
            if (!empty($this->$eventName)) {
439
440
                // Make sure dependencies are met
441
                if (!$this->checkEnabledExtensions($depends)) {
442
                    throw new InvalidConfigException(
443
                        "The \"{$name}\" event requires " . implode(', ', $depends) . " extensions to be enabled."
444
                    );
445
                }
446
447
				// Replace the variable template
448
				$callback = str_replace('{{ias}}', "{$this->id}_ias", $this->$eventName);