PHP Coveralls support