Make PHP_CodeCoverage 1.3 compatible with PHP 5.3.3
Merge branch '1.3'