8000 [WebProfilerBundle] Improve PHP extension badges by ro0NL · Pull Request #29555 · symfony/symfony · GitHub
[go: up one dir, main page]
Skip to content

[WebProfilerBundle] Improve PHP extension badges #29555

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Dec 11, 2018
Merged

[WebProfilerBundle] Improve PHP extension badges #29555

merged 1 commit into from
Dec 11, 2018

Conversation

ro0NL
Copy link
Contributor
@ro0NL ro0NL commented Dec 10, 2018
Q A
Branch? master
Bug fix? no
New feature? yes
BC breaks? no
Deprecations? no
Tests pass? yes
Fixed tickets #29374
License MIT
Doc PR symfony/symfony-docs#...

image

image

image

@ro0NL ro0NL changed the title [WebProfilerBundle] Fix php extension badges [WebProfilerBundle] Improve PHP extension badges Dec 10, 2018
@chalasr chalasr added this to the next milestone Dec 10, 2018
@fabpot
Copy link
Member
fabpot commented Dec 11, 2018

Thank you @ro0NL.

@fabpot fabpot merged commit 4399dab into symfony:master Dec 11, 2018
fabpot added a commit that referenced this pull request Dec 11, 2018
@fabpot
minor #29555 [WebProfilerBundle] Improve PHP extension badges (ro0NL)
da4019a 
This PR was merged into the 4.3-dev branch.

Discussion
----------

[WebProfilerBundle] Improve PHP extension badges

| Q             | A
| ------------- | ---
| Branch?       | master
| Bug fix?      | no
| New feature?  | yes
| BC breaks?    | no     <!-- see https://symfony.com/bc -->
| Deprecations? | no
| Tests pass?   | yes    <!-- please add some, will be required by reviewers -->
| Fixed tickets | #29374
| License       | MIT
| Doc PR        | symfony/symfony-docs#... <!-- required for new features -->

![image](https://user-images.githubusercontent.com/1047696/49753655-5c70a880-fcb4-11e8-9c87-8f7586a27e5c.png)

![image](https://user-images.githubusercontent.com/1047696/49753831-cf7a1f00-fcb4-11e8-992b-fec4ed4ef4e0.png)

![image](https://user-images.githubusercontent.com/1047696/49753849-da34b400-fcb4-11e8-851c-3bfe0fc1fbfd.png)

Commits
-------

4399dab [WebProfilerBundle] Fix php extension badges
@ro0NL ro0NL deleted the wdt-signals branch December 11, 2018 08:00
@nicolas-grekas nicolas-grekas modified the milestones: next, 4.3 Apr 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fabpot fabpot fabpot approved these changes

@chalasr chalasr chalasr approved these changes

Assignees
No one assigned
Labels
Feature Status: Reviewed WebProfilerBundle
Projects
None yet
Milestone
4.3
Development

Successfully merging this pull request may close these issues.
5 participants
@ro0NL @fabpot @chalasr @nicolas-grekas @carsonbot
0