From 0a4100da03e96d4b5ad0bddaef6b4b1eb9b2247c Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sun, 6 Feb 2011 13:41:32 +0000
Subject: [PATCH] I don't think we need a complete parse operation to just add
 "<hr />"

---
 includes/specials/SpecialImport.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/specials/SpecialImport.php b/includes/specials/SpecialImport.php
index a9001df1b1..73416a8e0a 100644
--- a/includes/specials/SpecialImport.php
+++ b/includes/specials/SpecialImport.php
@@ -138,7 +138,7 @@ class SpecialImport extends SpecialPage {
 				# Success!
 				$wgOut->addWikiMsg( 'importsuccess' );
 			}
-			$wgOut->addWikiText( '<hr />' );
+			$wgOut->addHTML( '<hr />' );
 		}
 	}
 
-- 
2.20.1