From 6b83c2a9b872137be08ab2a4e97bad25f90fc40d Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Wed, 2 Jul 2008 13:42:12 +0000 Subject: [PATCH] Adding the id's to the headings might make it work better. --- includes/specials/SpecialSpecialpages.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/specials/SpecialSpecialpages.php b/includes/specials/SpecialSpecialpages.php index a331510dc7..8c1299bc3f 100644 --- a/includes/specials/SpecialSpecialpages.php +++ b/includes/specials/SpecialSpecialpages.php @@ -62,7 +62,7 @@ function wfSpecialSpecialpages() { $total = count($sortedPages); $count = 0; - $wgOut->addHTML( "

".wfMsgHtml("specialpages-group-$group")."

\n" ); + $wgOut->addHTML( "

".wfMsgHtml("specialpages-group-$group")."

\n" ); $wgOut->addHTML( "" ); $wgOut->addHTML( "
    \n" ); foreach( $sortedPages as $desc => $specialpage ) { -- 2.20.1