Publishing coverage reports from build 31 (php 5.4.11).