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

src/GlHtmlNode.php 2 locations

@@ 243-249 (lines=7) @@
240
            case "td":
241
            case "li":
242
            case "label":
243
            case "button":
244
                $sentence = trim($sentence);
245
                if (strlen($sentence) > 0) {
246
                    $sentences[] = $sentence;
247
                }
248
                $sentence = "";
249
                break;
250
251
            case "br":
252
                $sentence .= " ";
@@ 277-283 (lines=7) @@
274
            case "td":
275
            case "li":
276
            case "label":
277
            case "button":
278
                $sentence = trim($sentence);
279
                if (strlen($sentence) > 0) {
280
                    $sentences[] = $sentence;
281
                }
282
                $sentence = "";
283
                break;
284
285
            default:
286
                break;