This patch primarily gives DBPager the ability to jump directly to the last page without knowing the page number. All you have to do is set "&pg=last".
In addition, a change on line 627 fixes the pagelist so that the current page is always shown in brackets. Currently it only does that if it's on the first or last page or if there's a divider involved.
Also a change on line 787 fixes a Notice that PHP throws about $template not being initialized in some cases.
Patch for /mod/user/class/DBPager.php
Logged In: YES
user_id=400519
Originator: NO
committed. Thank you.