From 76e8bdc211006fa866b6dffe01939a823dd91f72 Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Tue, 8 Apr 2008 22:50:56 +0000 Subject: [PATCH] Kill useless div that bumps everything down --- includes/LogEventsList.php | 2 +- includes/LogPage.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/includes/LogEventsList.php b/includes/LogEventsList.php index 175f53d601..f2bdc545ce 100644 --- a/includes/LogEventsList.php +++ b/includes/LogEventsList.php @@ -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 ) ); } } diff --git a/includes/LogPage.php b/includes/LogPage.php index a3c8b27e54..fa21f02913 100644 --- a/includes/LogPage.php +++ b/includes/LogPage.php @@ -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')); } /** -- 2.20.1