Skip to content
Permalink
Browse files

Fix psalm --alter (#1719)

  • Loading branch information...
bdsl authored and muglug committed Jun 1, 2019
1 parent 169121b commit e0486ba7578d6f890d32dcfda44c5bf36a7965ef
Showing with 5 additions and 0 deletions.
  1. +5 −0 src/psalter.php
@@ -39,6 +39,11 @@ function ($arg) use ($valid_long_options, $valid_short_options) {
if (substr($arg, 0, 2) === '--' && $arg !== '--') {
$arg_name = preg_replace('/=.*$/', '', substr($arg, 2));
if ($arg_name === 'alter') {
// valid option for psalm, ignored by psalter
return;
}
if (!in_array($arg_name, $valid_long_options)
&& !in_array($arg_name . ':', $valid_long_options)
&& !in_array($arg_name . '::', $valid_long_options)

0 comments on commit e0486ba

Please sign in to comment.
You can’t perform that action at this time.