What version are you running?
2.5.13.1
What's the URL of the page this enhancement relates to, if any?
/admin/settings/diffs/
Describe the enhancement and the motivation for it.
Right now, diff viewer pagination can be set globally, for all users. However, one size does not fit all, so it would be great if this could be set by the user for their own account separately.