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

symphony/content/content.blueprintssections.php 2 locations

@@ 248-262 (lines=15) @@
245
            $navgroupdiv->appendChild($label);
246
        }
247
248
        if (is_array($sections) && !empty($sections)) {
249
            $ul = new XMLElement('ul', null, array('class' => 'tags singular', 'data-interactive' => 'data-interactive'));
250
            $groups = array();
251
252
            foreach ($sections as $s) {
253
                if (in_array($s->get('navigation_group'), $groups)) {
254
                    continue;
255
                }
256
257
                $ul->appendChild(new XMLElement('li', $s->get('navigation_group')));
258
                $groups[] = $s->get('navigation_group');
259
            }
260
261
            $navgroupdiv->appendChild($ul);
262
        }
263
264
        $div->appendChild($navgroupdiv);
265
        $fieldset->appendChild($div);
@@ 458-472 (lines=15) @@
455
            $navgroupdiv->appendChild($label);
456
        }
457
458
        if (is_array($sections) && !empty($sections)) {
459
            $ul = new XMLElement('ul', null, array('class' => 'tags singular', 'data-interactive' => 'data-interactive'));
460
            $groups = array();
461
462
            foreach ($sections as $s) {
463
                if (in_array($s->get('navigation_group'), $groups)) {
464
                    continue;
465
                }
466
467
                $ul->appendChild(new XMLElement('li', $s->get('navigation_group')));
468
                $groups[] = $s->get('navigation_group');
469
            }
470
471
            $navgroupdiv->appendChild($ul);
472
        }
473
474
        $div->appendChild($navgroupdiv);
475
        $fieldset->appendChild($div);