From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Tue, 8 Apr 2008 22:50:56 +0000 (+0000)
Subject: Kill useless div that bumps everything down
X-Git-Tag: 1.31.0-rc.0~48506
X-Git-Url: http://git.cyclocoop.org/fichier?a=commitdiff_plain;h=76e8bdc211006fa866b6dffe01939a823dd91f72;p=lhc%2Fweb%2Fwiklou.git

Kill useless div that bumps everything down
---

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'));
 	}
 
 	/**