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 = 9-10 lines in 4 locations

routes/personal.php 4 locations

@@ 262-270 (lines=9) @@
259
        array('display_name' => $organization['display_name'])
260
    ));
261
262
    if (isset($_POST['enable']) || isset($_POST['disable'])) {
263
        if (enablePersons($organization['id'], $_POST['user'], isset($_POST['enable']))) {
264
            $app->flash('save_ok', 'ok');
265
        }
266
        else {
267
            $app->flash('save_error', 'error');
268
        }
269
        $app->redirect($app->request()->getPathInfo());
270
    }
271
272
    if (isset($_POST['delete']) && $user['is_global_administrator']) {
273
@@ 317-326 (lines=10) @@
314
315
    $profiles = getProfileGroupsByOrganization($organization['id']);
316
317
    if (isset($_POST['delete']) && isset($_POST['profilegroup'])) {
318
        $ok = deleteProfileGroupsById($_POST['profilegroup'], $organization['id']);
319
        if ($ok) {
320
            $app->flash('save_ok', 'delete');
321
        }
322
        else {
323
            $app->flash('save_error', 'error');
324
        }
325
        $app->redirect($app->request()->getPathInfo());
326
    }
327
328
    // generar barra de navegación
329
    $breadcrumb = array(
@@ 379-387 (lines=9) @@
376
            $app->redirect($app->urlFor('login'));
377
        }
378
379
        if (isset($_POST['enable']) || isset($_POST['disable'])) {
380
            if (enableProfiles($organization['id'], $_POST['profile'], isset($_POST['enable']))) {
381
                $app->flash('save_ok', 'ok');
382
            }
383
            else {
384
                $app->flash('save_error', 'error');
385
            }
386
            $app->redirect($app->request()->getPathInfo());
387
        }
388
389
        $profiles = getProfilesByGroup($id, $organization['id'], ($filter === 1));
390
        $personCount = 0;
@@ 462-471 (lines=10) @@
459
        }
460
    }
461
462
    if (isset($_POST['delete']) && isset($_POST['profile'])) {
463
        $ok = deleteProfilesById($_POST['profile'], $organization['id']);
464
        if ($ok) {
465
            $app->flash('save_ok', 'delete');
466
        }
467
        else {
468
            $app->flash('save_error', 'error');
469
        }
470
        $app->redirect($app->request()->getPathInfo());
471
    }
472
473
    // generar barra de navegación
474
    $breadcrumb = array(