prefetchCoverageRanges()

in src/main/resources/static/coverage.js [434:442]


  prefetchCoverageRanges(change, revision) {
    const changeInfo = {
      host: this.getNormalizedHost(window.location.host),
      project: change.project,
      changeNum: parseInt(change._number),
      patchNum: parseInt(revision._number),
    };
    this.updateCoverageDataIfNecessary(changeInfo);
  }