Plumb options for diff viewer page.
Review Request #8368 — Created Aug. 30, 2016 and submitted
Recent refactoring required options to be plumbed explicitly. This was
neglected for theDiffViewerPageView
, breaking loading of diffs.
Loaded the diffviewer and saw it work.