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 3 locations

phpmyfaq/src/phpMyFAQ/User.php 3 locations

@@ 288-292 (lines=5) @@
285
        );
286
287
        $res = $this->config->getDb()->query($select);
288
        if ($this->config->getDb()->numRows($res) != 1) {
289
            $this->errors[] = self::ERROR_USER_NO_USERID.'error(): '.$this->config->getDb()->error();
290
291
            return false;
292
        }
293
        $user = $this->config->getDb()->fetchArray($res);
294
        $this->userId = (int)$user['user_id'];
295
        $this->login = (string)$user['login'];
@@ 314-318 (lines=5) @@
311
            );
312
313
            $res = $this->config->getDb()->query($select);
314
            if ($this->config->getDb()->numRows($res) != 1) {
315
                $this->errors[] = self::ERROR_USER_NO_USERLOGINDATA.'error(): '.$this->config->getDb()->error();
316
317
                return false;
318
            }
319
        }
320
        // get user-data
321
        if (!$this->userdata instanceof UserData) {
@@ 628-632 (lines=5) @@
625
        );
626
627
        $res = $this->config->getDb()->query($delete);
628
        if (!$res) {
629
            $this->errors[] = self::ERROR_USER_CANNOT_DELETE_USER.'error(): '.$this->config->getDb()->error();
630
631
            return false;
632
        }
633
634
        if (!$this->userdata instanceof UserData) {
635
            $this->userdata = new UserData($this->config);