Only use extensions if a comma delimited list

This commit is contained in:
Richard Holloway 2017-01-11 00:02:29 +07:00 committed by Dmitry Khomutov
parent 1201cb0f92
commit d1db940ade

View file

@ -59,7 +59,11 @@ class PhpParallelLint extends Plugin
}
if (isset($options['extensions'])) {
$this->extensions = $options['extensions'];
// Only use if this is a comma delimited list
$pattern = '/^[a-z]*,\\ *[a-z]*$/';
if (preg_match($pattern, $options['extensions'])) {
$this->extensions = $options['extensions'];
}
}
}