We have added support for another great tool which makes PHP support even better.
The latest addition is the Copy/Paste Detector written by Sebastian Bergmann. It helps you identify code that is duplicated in several places in your code base.
You can enable it on your projects by adding a single line:
tools:
# ...
php_cpd: true
For a complete configuration, see the documentation for PHP Copy/Paste Detector.
Enjoy :)