Publishing coverage reports from build 42 (php 5.4.25).