Code Duplication    Length = 11-11 lines in 2 locations

src/MenuStyle.php 1 location

@@ 615-625 (lines=11) @@
612
        $leftWidth = null,
613
        string $colour = null
614
    ) : self {
615
        if (!is_int($rightWidth)) {
616
            $colour = $rightWidth;
617
            $rightWidth = $bottomWidth = $leftWidth = $topWidth;
618
        } elseif (!is_int($bottomWidth)) {
619
            $colour = $bottomWidth;
620
            $bottomWidth = $topWidth;
621
            $leftWidth = $rightWidth;
622
        } elseif (!is_int($leftWidth)) {
623
            $colour = $leftWidth;
624
            $leftWidth = $rightWidth;
625
        }
626
627
        $this->borderTopWidth = $topWidth;
628
        $this->borderRightWidth = $rightWidth;

src/CliMenuBuilder.php 1 location

@@ 331-341 (lines=11) @@
328
        $leftWidth = null,
329
        string $colour = null
330
    ) : self {
331
        if (!is_int($rightWidth)) {
332
            $colour = $rightWidth;
333
            $rightWidth = $bottomWidth = $leftWidth = $topWidth;
334
        } elseif (!is_int($bottomWidth)) {
335
            $colour = $bottomWidth;
336
            $bottomWidth = $topWidth;
337
            $leftWidth = $rightWidth;
338
        } elseif (!is_int($leftWidth)) {
339
            $colour = $leftWidth;
340
            $leftWidth = $rightWidth;
341
        }
342
343
        $this->style['borderTopWidth'] = $topWidth;
344
        $this->style['borderRightWidth'] = $rightWidth;