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) { |