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

Update PHP tutorial with the new PHPUnit plugin #241

Merged
merged 1 commit into from
Jun 9, 2017

Conversation

kaloyan-raev
Copy link
Contributor

Review

This doc PR is related to eclipse-che/che#4994

@bmicklea
Copy link

bmicklea commented Jun 8, 2017

You can squash and merge when ready @kaloyan-raev

@slemeur slemeur added this to the 5.12.0 milestone Jun 9, 2017
@slemeur slemeur merged commit ce417de into eclipse-che:master Jun 9, 2017
@kaloyan-raev
Copy link
Contributor Author

@slemeur This PR was supposed to be merged when eclipse-che/che#4994 is merged. I see the latter is still open.

slemeur added a commit that referenced this pull request Jun 9, 2017
slemeur added a commit that referenced this pull request Jun 9, 2017
@slemeur slemeur removed this from the 5.12.0 milestone Jun 9, 2017
@slemeur
Copy link
Contributor

slemeur commented Jun 9, 2017

You are right @kaloyan-raev ! Reopening another PR

slemeur added a commit that referenced this pull request Jun 9, 2017
Signed-off-by: Stevan Le Meur <[email protected]>
slemeur added a commit that referenced this pull request Jul 6, 2017
Signed-off-by: Stevan Le Meur <[email protected]>
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.

3 participants