Remove unused $links in TablePager::getNavigationBar
authoraddshore <addshorewiki@gmail.com>
Wed, 18 Jul 2018 14:00:36 +0000 (16:00 +0200)
committerJforrester <jforrester@wikimedia.org>
Wed, 18 Jul 2018 19:37:16 +0000 (19:37 +0000)
commit6ecf8d044df4c68e53e482df5530a9a94334d32a
tree57cd93fb4e1b7f13c15f42a219e0d6a375047498
parentd5771bdb00b4aeb697c048d03261d9668ec92444
Remove unused $links in TablePager::getNavigationBar

Change-Id: I43ba3390c47e4955704cfd82b16627008f9e6bc8
includes/pager/TablePager.php