I don't think we need a complete parse operation to just add "<hr />"

diff --git a/includes/specials/SpecialImport.php b/includes/specials/SpecialImport.php
index a9001df..73416a8 100644 (file)
--- 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 />' );
                }
        }