Code Duplication    Length = 7-7 lines in 2 locations

src/psalm.php 1 location

@@ 422-428 (lines=7) @@
419
420
$plugins = [];
421
422
if (isset($options['plugin'])) {
423
    $plugins = $options['plugin'];
424
425
    if (!is_array($plugins)) {
426
        $plugins = [$plugins];
427
    }
428
}
429
430
431

src/psalter.php 1 location

@@ 401-407 (lines=7) @@
398
399
$plugins = [];
400
401
if (isset($options['plugin'])) {
402
    $plugins = $options['plugin'];
403
404
    if (!is_array($plugins)) {
405
        $plugins = [$plugins];
406
    }
407
}
408
409
/** @var string $plugin_path */
410
foreach ($plugins as $plugin_path) {