read()) { $path = $cdir . "/" . $myDir . "/" . $anEntry . "/" . "index.html"; if (is_file($path)) { $entries[$index] = $anEntry; $index++; } } $aDirectory->close(); sort($entries); if ($index < 0) { echo "
There is no coverage data for this build."; return; } for ($i = 0; $i < $index; $i++) { $anEntry = $entries[$i]; $line = "$anEntry"; echo "
  • $line
  • "; } } ?> Code coverage results
    Code coverage for $BUILD_ID \n"; echo "

    Code coverage for $BUILD_ID

    \n"; ?>