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

routes/manage.php 2 locations

@@ 226-241 (lines=16) @@
223
        array('display_name' => 'Modificar entrega')
224
    );
225
226
    switch ($return) {
227
        case 0:
228
            $lastUrl = $app->urlFor('tree', array('id' => $data1));
229
            break;
230
231
        case 1:
232
            $lastUrl = $app->urlFor('event', array('pid' => $data1, 'aid' => $data2, 'id' => $data3));
233
            break;
234
235
        case 2:
236
            $lastUrl = $app->urlFor('upload', array('id' => $folderId, 'return' => $data1, 'data1' => $data2, 'data2' => $data3, 'data3' => $data4));
237
            break;
238
239
        default:
240
            $lastUrl = $app->urlFor('frontpage');
241
    }
242
243
    $app->render('manage_delivery.html.twig', array(
244
        'navigation' => $breadcrumb, 'search' => false,
@@ 464-479 (lines=16) @@
461
        $app->redirect($app->urlFor('login'));
462
    }
463
464
    switch ($return) {
465
        case 0:
466
            $lastUrl = $app->urlFor('tree', array('id' => $data1));
467
            break;
468
469
        case 1:
470
            $lastUrl = $app->urlFor('event', array('pid' => $data1, 'aid' => $data2, 'id' => $data3));
471
            break;
472
473
        case 2:
474
            $lastUrl = $app->urlFor('upload', array('id' => $id, 'return' => $data1, 'data1' => $data2, 'data2' => $data3, 'data3' => $data4));
475
            break;
476
477
        default:
478
            $lastUrl = $app->urlFor('frontpage');
479
    }
480
481
    if ((isset($_POST['archive']) && isset($_POST['displayname']) && strlen($_POST['displayname'])) ||
482
        (isset($_POST['archive_old']) && isset($_POST['snapshot']))) {