Publishing coverage reports from build 15 (php 5.4).