Fix linking to the diff index header on the Diff page.

Review Request #9039 — Created June 27, 2017 and submitted

Information

Review Board
release-3.0.x
3546fb7...

Reviewers

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.

david
  1. Ship It!
  2. 
      
chipx86
Review request changed
Status:
Completed
Change Summary:
Pushed to release-3.0.x (d0f6af1)