From 63268d481a22671369217ceaf46e2f0f0fd72ac7 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Thu, 20 Mar 2008 21:09:47 +0000 Subject: [PATCH] comment the extra category paging option links for now as they're kinda broken the new options aren't retained on the paging links, and they don't interact correctly with various special page parameters such as starting points on the user lists --- includes/Pager.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/includes/Pager.php b/includes/Pager.php index fdd883a27f..422121bec8 100644 --- a/includes/Pager.php +++ b/includes/Pager.php @@ -509,6 +509,7 @@ abstract class AlphabeticPager extends IndexPager { wfMsgHtml( 'viewprevnext', $pagingLinks['prev'], $pagingLinks['next'], $limits ); + /* $dirlinks = array(); # Note for grep: uses pager-sort-asc, pager-sort-desc (each in two # places) @@ -557,6 +558,7 @@ abstract class AlphabeticPager extends IndexPager { if( $extra !== '' ) { $this->mNavigationBar .= " ($extra)"; } + */ return $this->mNavigationBar; } -- 2.20.1