From 0d831e12c753cf01354554f3e9765884a5515e16 Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Mon, 24 Aug 2009 14:30:32 +0000
Subject: [PATCH] * Wrap legend of historyPage into a div with class
 'mw-history-legend' * Move legend above pager. It looks more
 consistent/logical

---
 includes/HistoryPage.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/includes/HistoryPage.php b/includes/HistoryPage.php
index c8f3595ebd..5cd0b0d799 100644
--- a/includes/HistoryPage.php
+++ b/includes/HistoryPage.php
@@ -317,12 +317,13 @@ class HistoryPager extends ReverseChronologicalPager {
 	 * @return string HTML output
 	 */
 	function getStartBody() {
-		global $wgScript, $wgEnableHtmlDiff, $wgUser;
+		global $wgScript, $wgEnableHtmlDiff, $wgUser, $wgOut;
 		$this->lastRow = false;
 		$this->counter = 1;
 		$this->oldIdChecked = 0;
 
-		$s = wfMsgExt( 'histlegend', array( 'parse') );
+		$wgOut->wrapWikiMsg( "<div class='mw-history-legend'>\n$1</div>", 'histlegend' );
+		$s = '';
 		if( $this->getNumRows() > 1 && $wgUser->isAllowed('deleterevision') ) {
 			$revdel = SpecialPage::getTitleFor( 'Revisiondelete' );
 			$s .= Xml::openElement( 'form',
-- 
2.20.1