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

phpmyfaq/admin/group.php 1 location

@@ 250-261 (lines=12) @@
247
        }
248
    }
249
    // no errors, show list
250
    if (count($messages) == 0) {
251
        $groupAction = $defaultGroupAction;
252
        $message = sprintf('<p class="alert alert-success">%s</p>', $PMF_LANG['ad_group_suc']);
253
    // display error messages and show form again
254
    } else {
255
        $groupAction = 'add';
256
        $message = '<p class="alert alert-danger">';
257
        foreach ($messages as $err) {
258
            $message .= $err.'<br>';
259
        }
260
        $message .= '</p>';
261
    }
262
}
263
264
if (!isset($message)) {

phpmyfaq/admin/section.php 1 location

@@ 222-233 (lines=12) @@
219
        }
220
    }
221
    // no errors, show list
222
    if (count($messages) == 0) {
223
        $sectionAction = $defaultSectionAction;
224
        $message = sprintf('<p class="alert alert-success">%s</p>', $PMF_LANG['ad_section_suc']);
225
    // display error messages and show form again
226
    } else {
227
        $sectionAction = 'add';
228
        $message = '<p class="alert alert-danger">';
229
        foreach ($messages as $err) {
230
            $message .= $err.'<br>';
231
        }
232
        $message .= '</p>';
233
    }
234
}
235
236
if (!isset($message)) {