danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00
Code Issues Projects Releases Wiki Activity

🐛 Fix --plugin option handling for psalm

Browse Source
This commit is contained in:
Andrii Dembitskyi 2019-01-08 16:16:27 +02:00 committed by Matthew Brown
parent 2201380c52
commit dfedf70d5d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/psalm.php
View File

@ -494,7 +494,7 @@ if ($find_dead_code) {
/** @var string $plugin_path */
foreach ($plugins as $plugin_path) {
Config::getInstance()->addPluginPath($current_dir . DIRECTORY_SEPARATOR . $plugin_path);
Config::getInstance()->addPluginPath($current_dir . $plugin_path);
}
if ($paths_to_check === null) {