Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PHP-Parallel-Lint shorttags option #1338

Merged

Conversation

Dave13h
Copy link
Contributor

@Dave13h Dave13h commented Aug 21, 2017

Contribution Type: new feature
Link to Intent to Implement:
Link to Bug: #1339

This pull request affects the following areas:

  • Front-End
  • Builder
  • Build Plugins

In raising this pull request, I confirm the following (please check boxes):

  • I have read and understood the contributing guidelines?
  • I have checked that another pull request for this purpose does not exist.
  • I have considered, and confirmed that this submission will be valuable to others.
  • I have created or updated the relevant documentation for this change on the PHPCI Wiki.
  • Do the PHPCI tests pass?

Detailed description of change:

Add the option to pass the short tags (-s) argument to PHP Parallel Lint so that files using PHP Short Tags can be linted.

This pull request affects the following areas:

 Front-End
 Builder
 Build Plugins

In raising this pull request, I confirm the following (please check boxes):

 I have read and understood the contributing guidelines?
 I have checked that another pull request for this purpose does not exist.
 I have considered, and confirmed that this submission will be valuable to others.
 I have created or updated the relevant documentation for this change on the PHPCI Wiki.
 Do the PHPCI tests pass?

Detailed description of change:
Add the option to pass the short tags (-s) argument to PHP Parallel Lint so that files using PHP Short Tags can be linted.
@Dave13h Dave13h changed the title Contribution Type: feature PHP-Parallel-Lint shorttags option Aug 21, 2017
@dancryer dancryer merged commit 9403b5d into dancryer:master Sep 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants