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);
}