From 288e0cf01c969010084c7eb42628349f6ee9f3a8 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Mon, 5 Jun 2006 20:35:33 +0000
Subject: [PATCH] fix error display

---
 maintenance/renderDump.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/renderDump.php b/maintenance/renderDump.php
index 1b832b6454..10986f2c78 100644
--- a/maintenance/renderDump.php
+++ b/maintenance/renderDump.php
@@ -43,7 +43,7 @@ class DumpRenderer {
 	function handleRevision( $rev ) {
 		$title = $rev->getTitle();
 		if (!$title) {
-			$this->progress( "Got bogus revision with null title!" );
+			fprintf( $this->stderr, "Got bogus revision with null title!" );
 			return;
 		}
 		$display = $title->getPrefixedText();
-- 
2.20.1