Publishing coverage reports from build 15 (php 5.3).