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 = 18-18 lines in 2 locations

phpmyfaq/admin/group.php 1 location

@@ 527-544 (lines=18) @@
524
          </div>
525
526
          <div class="card-body">
527
            <?php foreach ($user->perm->getAllRightsData() as $right): ?>
528
              <div class="form-check">
529
                <input id="group_right_<?= $right['right_id'] ?>" type="checkbox"
530
                       name="group_rights[]" value="<?= $right['right_id'] ?>"
531
                       class="form-check-input permission">
532
                <label class="form-check-label">
533
                    <?php
534
                    if (isset($PMF_LANG['rightsLanguage'][$right['name']])) {
535
                        echo $PMF_LANG['rightsLanguage'][$right['name']];
536
                    } else {
537
                        echo $right['description'];
538
                    }
539
                    ?>
540
                </label>
541
              </div>
542
            <?php endforeach; ?>
543
          </div>
544
          <div class="card-footer">
545
            <div class="card-button text-right">
546
              <button class="btn btn-primary" type="submit">
547
                  <?= $PMF_LANG['ad_gen_save'] ?>

phpmyfaq/admin/user.php 1 location

@@ 562-579 (lines=18) @@
559
                            </span>
560
                        </div>
561
                        <div class="card-body">
562
                          <?php foreach ($user->perm->getAllRightsData() as $right): ?>
563
                              <div class="form-check">
564
                                <input id="user_right_<?= $right['right_id'] ?>" type="checkbox"
565
                                       name="user_rights[]" value="<?= $right['right_id'] ?>"
566
                                       class="form-check-input permission">
567
                                <label class="form-check-label">
568
                                    <?php
569
                                    if (isset($PMF_LANG['rightsLanguage'][$right['name']])) {
570
                                        echo $PMF_LANG['rightsLanguage'][$right['name']];
571
                                    } else {
572
                                        echo $right['description'];
573
                                    }
574
                                    ?>
575
                                </label>
576
                              </div>
577
                          <?php endforeach; ?>
578
                        </div>
579
                        <div class="card-footer">
580
                            <div class="card-button text-right">
581
                                <button class="btn btn-success" type="submit">
582
                                    <?= $PMF_LANG['ad_gen_save'] ?>