Skip to content

Conversation

jrfnl
Copy link
Collaborator

@jrfnl jrfnl commented Feb 23, 2020

Implementation of feature request JakubOnderka/PHP-Parallel-Lint#115.

The user can now pass longer, multi-part extensions on the command-line and they will be respected.
Example:
-e php,php.dist

Fixes JakubOnderka/PHP-Parallel-Lint#115

This is the same PR as previously pulled in PR JakubOnderka/PHP-Parallel-Lint#151

Implementation of feature request 115.

The user can now pass longer, multi-part extensions on the command-line and they will be respected.
Example:
`-e php,php.dist`

Fixes 115
@jrfnl jrfnl force-pushed the feature/JO-115-allow-multi-part-extensions branch from ae2e4a5 to 1c73e39 Compare April 9, 2020 16:53
@jrfnl
Copy link
Collaborator Author

jrfnl commented Apr 9, 2020

Rebased to make sure it still passes the build after all the other merges.

@grogy grogy merged commit 5a3ff75 into php-parallel-lint:master Apr 16, 2020
@jrfnl jrfnl deleted the feature/JO-115-allow-multi-part-extensions branch April 16, 2020 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

Extension filter does not work for combined extension

2 participants