From 9c8890402300e2680fe4dac24d9483f16521d5d9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= <nikerabbit@users.mediawiki.org>
Date: Sat, 22 Oct 2005 21:33:59 +0000
Subject: [PATCH] mediawiki:missingarticle to wikitext

---
 includes/DifferenceEngine.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/includes/DifferenceEngine.php b/includes/DifferenceEngine.php
index dc61864465..7b2cadb461 100644
--- a/includes/DifferenceEngine.php
+++ b/includes/DifferenceEngine.php
@@ -112,12 +112,12 @@ CONTROL;
 
 		$t = $wgTitle->getPrefixedText() . " (Diff: {$this->mOldid}, " .
 		  "{$this->mNewid})";
-		$mtext = wfMsg( 'missingarticle', $t );
+		$mtext = wfMsg( 'missingarticle', "<nowiki>$t</nowiki>" );
 
 		$wgOut->setArticleFlag( false );
 		if ( ! $this->loadText() ) {
 			$wgOut->setPagetitle( wfMsg( 'errorpagetitle' ) );
-			$wgOut->addHTML( $mtext );
+			$wgOut->addWikitext( $mtext );
 			wfProfileOut( $fname );
 			return;
 		}
@@ -221,9 +221,9 @@ CONTROL;
 		if ( ! $this->loadText() ) {
 			$t = $wgTitle->getPrefixedText() . " (Diff: {$this->mOldid}, " .
 			  "{$this->mNewid})";
-			$mtext = wfMsg( 'missingarticle', $t );
+			$mtext = wfMsg( 'missingarticle', "<nowiki>$t</nowiki>" );
 			$wgOut->setPagetitle( wfMsg( 'errorpagetitle' ) );
-			$wgOut->addHTML( $mtext );
+			$wgOut->addWikitext( $mtext );
 			wfProfileOut( $fname );
 			return;
 		}
-- 
2.20.1