From f277bbb85ca9854c1b60768af7a607ae5f27ccdc Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Mon, 21 Jun 2004 04:19:40 +0000
Subject: [PATCH] history copyright

---
 includes/PageHistory.php | 7 ++++++-
 languages/Language.php   | 1 +
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/includes/PageHistory.php b/includes/PageHistory.php
index 56f673fa74..012e9f4900 100644
--- a/includes/PageHistory.php
+++ b/includes/PageHistory.php
@@ -74,11 +74,16 @@ class PageHistory {
 		$atend = ($revs < $limitplus);
 		
 		$this->mSkin = $wgUser->getSkin();
+		$s = wfMsg( "history_copyright" );
+		if ( $s == "&nbsp;" ) {
+			$s = "";
+		}
+			
 		$numbar = wfViewPrevNext(
 			$offset, $limit,
 			$this->mTitle->getPrefixedText(),
 			"action=history", $atend );
-		$s = $numbar;
+		$s .= $numbar;
 		if($this->linesonpage > 0) {
 			$submitpart1 = '<input class="historysubmit" type="submit" accesskey="'.wfMsg('accesskey-compareselectedversions').
 			'" title="'.wfMsg('tooltip-compareselectedversions').'" value="'.wfMsg('compareselectedversions').'"';
diff --git a/languages/Language.php b/languages/Language.php
index 9b58a7863a..b0521591cd 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -592,6 +592,7 @@ Please check the URL you used to access this page.\n",
 'histlegend'	=> 'Diff selection: mark the radio boxes of the versions to compare and hit enter or the button at the bottom.<br/>
 Legend: (cur) = difference with current version,
 (last) = difference with preceding version, M = minor edit.',
+'history_copyright'    => '&nbsp;',
 
 # Diffs
 #
-- 
2.20.1