Publishing coverage reports from build 12 (php 5.4).