Kill useless div that bumps everything down
authorAaron Schulz <aaron@users.mediawiki.org>
Tue, 8 Apr 2008 22:50:56 +0000 (22:50 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Tue, 8 Apr 2008 22:50:56 +0000 (22:50 +0000)
includes/LogEventsList.php
includes/LogPage.php

index 175f53d..f2bdc54 100644 (file)
@@ -51,7 +51,7 @@ class LogEventsList {
        public function showHeader( $out, $type ) {
                if( LogPage::isLogType( $type ) ) {
                        $out->setPageTitle( LogPage::logName( $type ) );
-                       $out->addWikiText( LogPage::logHeader( $type ) );
+                       $out->addHtml( LogPage::logHeader( $type ) );
                }
        }
 
index a3c8b27..fa21f02 100644 (file)
@@ -136,7 +136,7 @@ class LogPage {
         */
        static function logHeader( $type ) {
                global $wgLogHeaders;
-               return Xml::element( 'div', array( 'class' => 'mw-log-headertext' ), wfMsg( $wgLogHeaders[$type] ) );
+               return wfMsgExt($wgLogHeaders[$type],array('parseinline'));
        }
 
        /**