original_string: protected static function get_coverage_info(string $fulldir): ?phpunit_coverage_info {
          $coverageconfig = "{$fulldir}/tests/coverage.php";
          if (file_exists($coverageconfig)) {
              $coverageinfo = require($coverageconfig);
              if (!$coverageinfo instanceof phpunit_coverage_info) {
                  throw new \coding_exception("{$coverageconfig} does not return a phpunit_coverage_info");
              }
  
              return $coverageinfo;
          }
  
          return null;
      }
code: protected static function get_coverage_info(string $fulldir): ?phpunit_coverage_info {
          $coverageconfig = "{$fulldir}/tests/coverage.php";
          if (file_exists($coverageconfig)) {
              $coverageinfo = require($coverageconfig);
              if (!$coverageinfo instanceof phpunit_coverage_info) {
                  throw new \coding_exception("{$coverageconfig} does not return a phpunit_coverage_info");
              }
  
              return $coverageinfo;
          }
  
          return null;
      }
code_tokens: protected static function get_coverage_info ( string $ fulldir ) : ? phpunit_coverage_info { $ coverageconfig = "{$fulldir}/tests/coverage.php" ; if ( file_exists ( $ coverageconfig ) ) { $ coverageinfo = require ( $ coverageconfig ) ; if ( ! $ coverageinfo instanceof phpunit_coverage_info ) { throw new \ coding_exception ( "{$coverageconfig} does not return a phpunit_coverage_info" ) ; } return $ coverageinfo ; } return null ; }
docstring: Get the phpunit_coverage_info for the specified plugin or subsystem directory.
  
  @param   string  $fulldir The directory to find the coverage info file in.
  @return  phpunit_coverage_info
docstring_tokens: Get the phpunit_coverage_info for the specified plugin or subsystem directory .