flake8
passed.
JSHint
passed.
Review Request #9039 — Created June 27, 2017 and submitted
The logic for building the review request contexts and links for the
Diff page was cleaned up a while back, but in the process, the link
generated to the diff file index was incorrect. The anchor name is
called "index_header," but the rewritten code attempted to use
"index-header". This updates the link to use the correct name.
Tested that clicking Diff once again took me to the diff file index.