Publishing coverage reports from build 240 (php 5.4.9).