The PHP Coding Style Continuous Integration Service