Trying PHP Coveralls dev-master