#1210: add different statements metric to the Web Profiler Toolbar

[lomby92]

Resolve #1210

[greg0ire]

#1216 has been merged, let's restart the build.

[ostrolucky]

you would have to rebase

[greg0ire]

I don't understand why but it looks like you're right… I mean the new build should be run on the result of the merge of this commit and the current master, shouldn't it?

[ostrolucky]

nope, it's normal checkout branch and running tests

[greg0ire]

Weird… I will rebase.

[greg0ire]

Actually, it's not a normal checkout, the build is run on refs/pull/1211/merge which should be ae1a885, but is instead 49af01d, apparently.

UPD: that's two commits with the same parents 🤔 (including b58b244, which has my fix)

[greg0ire]

Oh but the issue is not the same as before!

[greg0ire]

#1216 was not enough to fix the build, it was still failing: https://travis-ci.org/github/doctrine/DoctrineBundle/jobs/730485161

I worked on that at #1218

This PR has CS issues, that's why the build is failing… 🤦 weird that the merge up PR did not have the same issues…

[greg0ire]

Please associate your email address with your Github account, or change the
email in your commits to an address already associated with it. If you do not
want to expose your personal email address, you may use
lomby92@users.noreply.github.com, that way we can still reach you through Github.
Additionally, you will get credit for this contribution on your Github profile.

[greg0ire]

Thanks @lomby92 !

[lomby92]

Thank you too!