Revert r35538:
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 29 May 2008 16:14:02 +0000 (16:14 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 29 May 2008 16:14:02 +0000 (16:14 +0000)
* duplicated "Search results" header, looks bad
* <h3> style on title & text subheadings doesn't look as clean; the <h2> has nice dividing lines in MonoBook

includes/SpecialSearch.php

index 7b3fcc6..d68ff9a 100644 (file)
@@ -205,7 +205,6 @@ class SpecialSearch {
                if($textMatches && !is_null($textMatches->getTotalHits()))
                        $totalNum += $textMatches->getTotalHits();
                if ( $num > 0 ) {
-                       $wgOut->wrapWikiMsg( "==$1==\n", 'searchresults' );
                        if ( $totalNum > 0 ){
                                $top = wfMsgExt('showingresultstotal', array( 'parseinline' ), 
                                        $this->offset+1, $this->offset+$num, $totalNum );
@@ -233,7 +232,7 @@ class SpecialSearch {
 
                if( $titleMatches ) {
                        if( $titleMatches->numRows() ) {
-                               $wgOut->wrapWikiMsg( "===$1===\n", 'titlematches' );
+                               $wgOut->wrapWikiMsg( "==$1==\n", 'titlematches' );
                                $wgOut->addHTML( $this->showMatches( $titleMatches ) );
                        }
                        $titleMatches->free();
@@ -243,7 +242,7 @@ class SpecialSearch {
                        // output appropriate heading
                        if( $textMatches->numRows() ) {
                                if($titleMatches)
-                                       $wgOut->wrapWikiMsg( "===$1===\n", 'textmatches' );
+                                       $wgOut->wrapWikiMsg( "==$1==\n", 'textmatches' );
                                else // if no title matches the heading is redundant
                                        $wgOut->addHTML("<hr/>");                                                               
                        } elseif( $num == 0 ) {